Details

Time bar (total: 51.0s)

sample303.0ms

Algorithm
intervals
Results
109.0ms63×body1280valid
63.0ms53×body640valid
49.0ms203×body80valid
42.0ms30×body320valid
9.0ms16×body160valid

simplify904.0ms

Counts
1 → 1
Iterations
IterNodes
done5000
3873
2158
148
019

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.7b

localize42.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0))
2.7b
(/ (pow t 3.0) l)
9.8b
(* (/ (tan k) l) (/ (pow t 3.0) l))
18.2b
(/ (/ 2.0 (* (/ (tan k) l) (/ (pow t 3.0) l))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

rewrite618.0ms

Algorithm
rewrite-expression-head
Rules
135×add-exp-log
77×times-frac
76×add-cbrt-cube
73×add-sqr-sqrt
71×div-exp
52×*-un-lft-identity
47×add-cube-cbrt
35×cbrt-undiv prod-exp
30×associate-*r*
23×unpow-prod-down
19×cbrt-unprod
17×associate-/l*
16×associate-*l*
9×unswap-sqr sqr-pow
8×pow1 associate-/r/
7×pow-to-exp pow-exp associate-*r/
6×div-inv
4×associate-/r* add-log-exp
3×frac-times associate-*l/ distribute-lft-out
2×clear-num frac-2neg flip3-+ pow-prod-down *-commutative flip-+
1×distribute-rgt-in distribute-lft-in associate-/l/
Counts
4 → 205
Calls
4 calls:
444.0ms
(* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0))
7.0ms
(/ (pow t 3.0) l)
43.0ms
(* (/ (tan k) l) (/ (pow t 3.0) l))
109.0ms
(/ (/ 2.0 (* (/ (tan k) l) (/ (pow t 3.0) l))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

series1.3s

Counts
4 → 12
Calls
4 calls:
67.0ms
(* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0))
182.0ms
(/ (pow t 3.0) l)
310.0ms
(* (/ (tan k) l) (/ (pow t 3.0) l))
739.0ms
(/ (/ 2.0 (* (/ (tan k) l) (/ (pow t 3.0) l))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

simplify601.0ms

Counts
217 → 217
Iterations
IterNodes
done5001
11220
0388

prune1.9s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 14.0b

localize106.0ms

Local error

Found 4 expressions with local error:

0.8b
(pow (cbrt t) 3.0)
5.6b
(/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))
9.2b
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l))))
18.2b
(/ (/ 2.0 (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))) (/ (pow (cbrt t) 3.0) (cbrt l)))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

rewrite390.0ms

Algorithm
rewrite-expression-head
Rules
1274×add-exp-log
657×div-exp
506×prod-exp
206×add-cbrt-cube
115×pow-exp
113×cbrt-undiv
85×cbrt-unprod
77×pow-to-exp
49×times-frac
38×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
19×associate-/l*
16×associate-/r/
13×associate-*l*
11×frac-times unpow-prod-down associate-*l/
9×associate-*r* associate-*r/
8×unswap-sqr
7×pow1
6×div-inv sqr-pow
4×add-log-exp
3×cbrt-prod pow-unpow
2×clear-num associate-/r* pow-pow frac-2neg
1×flip3-+ pow1/3 pow-prod-down *-commutative flip-+ associate-/l/
Counts
4 → 348
Calls
4 calls:
3.0ms
(pow (cbrt t) 3.0)
11.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))
58.0ms
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l))))
281.0ms
(/ (/ 2.0 (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))) (/ (pow (cbrt t) 3.0) (cbrt l)))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

series2.1s

Counts
4 → 12
Calls
4 calls:
483.0ms
(pow (cbrt t) 3.0)
372.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))
473.0ms
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l))))
744.0ms
(/ (/ 2.0 (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))) (/ (pow (cbrt t) 3.0) (cbrt l)))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

simplify1.2s

Counts
360 → 360
Iterations
IterNodes
done5000
12437
0634

prune2.3s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 10.3b

localize162.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0))
0.8b
(pow (cbrt t) 3.0)
2.2b
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))
18.2b
(/ (/ 2.0 (* (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l)))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

rewrite999.0ms

Algorithm
rewrite-expression-head
Rules
4004×add-exp-log
2123×div-exp
1695×prod-exp
453×pow-exp
314×add-cbrt-cube
283×pow-to-exp
172×cbrt-undiv
145×cbrt-unprod
86×times-frac
78×add-sqr-sqrt
42×*-un-lft-identity
39×associate-*r*
37×add-cube-cbrt
35×frac-times associate-*l/
32×associate-/r/
24×cbrt-prod
22×associate-/l*
19×associate-*r/
16×unpow-prod-down associate-*l*
15×unswap-sqr
11×sqr-pow
9×pow1
5×div-inv
4×add-log-exp
3×pow-unpow distribute-lft-out
2×pow-pow flip3-+ pow-prod-down *-commutative flip-+
1×distribute-rgt-in clear-num associate-/r* frac-2neg distribute-lft-in pow1/3 associate-/l/
Counts
4 → 690
Calls
4 calls:
448.0ms
(* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0))
3.0ms
(pow (cbrt t) 3.0)
47.0ms
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))
373.0ms
(/ (/ 2.0 (* (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l)))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

series1.8s

Counts
4 → 12
Calls
4 calls:
94.0ms
(* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0))
451.0ms
(pow (cbrt t) 3.0)
495.0ms
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))
778.0ms
(/ (/ 2.0 (* (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l)))) (* (sin k) (+ (+ (pow (/ k t) 2.0) 1.0) 1.0)))

simplify1.6s

Counts
702 → 702
Iterations
IterNodes
done5000
14480
01066

prune4.0s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 8.5b

localize228.0ms

Local error

Found 4 expressions with local error:

1.1b
(/ (sin k) (/ (* (/ (cbrt 2.0) (pow (cbrt t) 3.0)) (cbrt l)) (+ 1.0 (+ 1.0 (pow (/ k t) 2.0)))))
2.2b
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))
2.4b
(/ (* (/ (cbrt 2.0) (pow (cbrt t) 3.0)) (cbrt l)) (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))))
11.2b
(/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))) (/ (sin k) (/ (* (/ (cbrt 2.0) (pow (cbrt t) 3.0)) (cbrt l)) (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))))))

rewrite908.0ms

Algorithm
rewrite-expression-head
Rules
7751×add-exp-log
4718×div-exp
2628×prod-exp
1235×times-frac
707×pow-exp
697×add-cbrt-cube
555×cbrt-undiv
548×*-un-lft-identity
411×pow-to-exp
376×associate-/r/
362×add-sqr-sqrt
323×add-cube-cbrt
289×cbrt-unprod
197×associate-*l/
196×frac-times
135×distribute-lft-out
118×associate-*r/
100×div-inv
54×associate-/r*
44×flip3-+ flip-+
34×associate-*r*
21×cbrt-prod
16×associate-/l*
14×unswap-sqr
13×associate-*l*
10×unpow-prod-down sqr-pow
6×pow1
4×add-log-exp
3×clear-num frac-2neg
2×associate-/l/
1×pow-prod-down *-commutative
Counts
4 → 1611
Calls
4 calls:
158.0ms
(/ (sin k) (/ (* (/ (cbrt 2.0) (pow (cbrt t) 3.0)) (cbrt l)) (+ 1.0 (+ 1.0 (pow (/ k t) 2.0)))))
57.0ms
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))
116.0ms
(/ (* (/ (cbrt 2.0) (pow (cbrt t) 3.0)) (cbrt l)) (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))))
209.0ms
(/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))) (/ (sin k) (/ (* (/ (cbrt 2.0) (pow (cbrt t) 3.0)) (cbrt l)) (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))))))

series3.0s

Counts
4 → 12
Calls
4 calls:
799.0ms
(/ (sin k) (/ (* (/ (cbrt 2.0) (pow (cbrt t) 3.0)) (cbrt l)) (+ 1.0 (+ 1.0 (pow (/ k t) 2.0)))))
383.0ms
(* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))
854.0ms
(/ (* (/ (cbrt 2.0) (pow (cbrt t) 3.0)) (cbrt l)) (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))))
977.0ms
(/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (* (/ (tan k) l) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt l)))) (/ (sin k) (/ (* (/ (cbrt 2.0) (pow (cbrt t) 3.0)) (cbrt l)) (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))))))

simplify1.0s

Counts
1623 → 1623
Iterations
IterNodes
done5000
01927

prune11.6s

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 7.1b

regimes2.0s

Accuracy

33.9% (4.2b remaining)

Error of 11.7b against oracle of 7.5b and baseline of 13.8b

bsearch1.3s

Steps
ItersRangePoint
10
5.194838555484265e-81
3.596358564469924e-66
2.6416593761963214e-80
11
-3.1515341824890737e-78
-6.192885840916665e-112
-3.1699453934410188e-86

simplify20.0ms

Iterations
IterNodes
done100
1100
082

end0.0ms

sample10.5s

Algorithm
intervals
Results
4.9s2044×body1280valid
2.2s1826×body640valid
2.0s5812×body80valid
675.0ms819×body320valid
329.0ms439×body160valid