Details

Time bar (total: 6.7m)

sample1.1s

Algorithm
intervals
Results
463.0ms72×body2560valid
234.0ms123×body1280valid
181.0ms25×body5120valid
87.0ms73×body640valid
25.0ms29×body320valid
14.0ms50×body80valid
7.0ms12×body160valid

simplify5.1s

Counts
1 → 1
Iterations
IterNodes
done5000
43784
3706
2144
144
019

prune40.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 41.5b

localize89.0ms

Local error

Found 4 expressions with local error:

0.8b
(/ (/ 2.0 (sin k)) (* (tan k) (pow t 3.0)))
0.8b
(* (tan k) (pow t 3.0))
16.7b
(* (/ (/ 2.0 (sin k)) (* (tan k) (pow t 3.0))) (* l l))
30.2b
(/ (* (/ (/ 2.0 (sin k)) (* (tan k) (pow t 3.0))) (* l l)) (pow (/ k t) 2.0))

rewrite390.0ms

Algorithm
rewrite-expression-head
Rules
498×add-exp-log
227×div-exp
204×prod-exp
112×add-cbrt-cube
88×times-frac
61×pow-exp
51×add-sqr-sqrt
45×add-cube-cbrt *-un-lft-identity
42×pow-to-exp
41×cbrt-undiv cbrt-unprod
30×unpow-prod-down
21×associate-*l*
18×associate-/r*
14×associate-/l*
9×pow1
8×associate-*r* div-inv
5×associate-*l/
4×expm1-log1p-u log1p-expm1-u add-log-exp unswap-sqr sqr-pow
3×tan-quot pow-prod-down
2×frac-2neg clear-num associate-/r/ *-commutative associate-/l/
Counts
4 → 277
Calls
4 calls:
42.0ms
(/ (/ 2.0 (sin k)) (* (tan k) (pow t 3.0)))
36.0ms
(* (tan k) (pow t 3.0))
139.0ms
(* (/ (/ 2.0 (sin k)) (* (tan k) (pow t 3.0))) (* l l))
123.0ms
(/ (* (/ (/ 2.0 (sin k)) (* (tan k) (pow t 3.0))) (* l l)) (pow (/ k t) 2.0))

series3.3s

Counts
4 → 12
Calls
4 calls:
526.0ms
(/ (/ 2.0 (sin k)) (* (tan k) (pow t 3.0)))
368.0ms
(* (tan k) (pow t 3.0))
1.1s
(* (/ (/ 2.0 (sin k)) (* (tan k) (pow t 3.0))) (* l l))
1.3s
(/ (* (/ (/ 2.0 (sin k)) (* (tan k) (pow t 3.0))) (* l l)) (pow (/ k t) 2.0))

simplify4.9s

Counts
289 → 289
Iterations
IterNodes
done5001
24536
11185
0445

prune2.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 14.5b

localize95.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ (sin k) l) (/ (sin k) l))
0.5b
(/ 1 (pow k 2.0))
4.7b
(/ (/ 1 (pow k 2.0)) (pow t 1.0))
15.7b
(/ (* (pow (/ (/ 1 (pow k 2.0)) (pow t 1.0)) 1.0) (cos k)) (* (/ (sin k) l) (/ (sin k) l)))

rewrite406.0ms

Algorithm
rewrite-expression-head
Rules
947×add-exp-log
604×div-exp
405×times-frac
305×prod-exp
272×pow-exp
224×add-sqr-sqrt
212×add-cube-cbrt *-un-lft-identity
162×unpow-prod-down
122×pow-to-exp
64×add-cbrt-cube
57×rec-exp 1-exp
54×sqr-pow
29×associate-/l*
26×cbrt-undiv
17×cbrt-unprod
15×associate-/r* div-inv
13×swap-sqr associate-*r* associate-*l*
11×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp unswap-sqr
3×frac-2neg clear-num associate-/r/
2×frac-times associate-*r/ associate-*l/
1×pow2 pow-flip pow-plus pow-prod-down pow-sqr *-commutative pow-prod-up associate-/l/ inv-pow
Counts
4 → 574
Calls
4 calls:
70.0ms
(* (/ (sin k) l) (/ (sin k) l))
16.0ms
(/ 1 (pow k 2.0))
43.0ms
(/ (/ 1 (pow k 2.0)) (pow t 1.0))
159.0ms
(/ (* (pow (/ (/ 1 (pow k 2.0)) (pow t 1.0)) 1.0) (cos k)) (* (/ (sin k) l) (/ (sin k) l)))

series2.8s

Counts
4 → 12
Calls
4 calls:
86.0ms
(* (/ (sin k) l) (/ (sin k) l))
627.0ms
(/ 1 (pow k 2.0))
695.0ms
(/ (/ 1 (pow k 2.0)) (pow t 1.0))
1.4s
(/ (* (pow (/ (/ 1 (pow k 2.0)) (pow t 1.0)) 1.0) (cos k)) (* (/ (sin k) l) (/ (sin k) l)))

simplify8.4s

Counts
586 → 586
Iterations
IterNodes
done5001
12028
0776

prune4.4s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 9.2b

localize87.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 1 (pow k 2.0))
3.2b
(* (/ (pow (/ (/ 1 (pow k 2.0)) (pow t 1.0)) 1.0) (/ (sin k) l)) (/ (cos k) (/ (sin k) l)))
4.7b
(/ (/ 1 (pow k 2.0)) (pow t 1.0))
6.6b
(/ (pow (/ (/ 1 (pow k 2.0)) (pow t 1.0)) 1.0) (/ (sin k) l))

rewrite6.0s

Algorithm
rewrite-expression-head
Rules
17782×times-frac
8931×unpow-prod-down
7592×add-sqr-sqrt
6893×*-un-lft-identity
6839×add-cube-cbrt
2384×associate-*l*
1407×sqr-pow
1280×add-exp-log
1035×div-exp
599×div-inv
422×pow-exp
211×associate-/l*
201×prod-exp
182×pow-to-exp
147×unswap-sqr
84×rec-exp 1-exp
52×add-cbrt-cube
44×associate-*r*
27×associate-/r*
25×cbrt-undiv
9×cbrt-unprod
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg clear-num associate-/r/
1×frac-times pow-flip associate-*r/ pow-prod-down associate-*l/ *-commutative associate-/l/ inv-pow
Counts
4 → 5762
Calls
4 calls:
30.0ms
(/ 1 (pow k 2.0))
3.7s
(* (/ (pow (/ (/ 1 (pow k 2.0)) (pow t 1.0)) 1.0) (/ (sin k) l)) (/ (cos k) (/ (sin k) l)))
45.0ms
(/ (/ 1 (pow k 2.0)) (pow t 1.0))
333.0ms
(/ (pow (/ (/ 1 (pow k 2.0)) (pow t 1.0)) 1.0) (/ (sin k) l))

series3.5s

Counts
4 → 12
Calls
4 calls:
737.0ms
(/ 1 (pow k 2.0))
1.2s
(* (/ (pow (/ (/ 1 (pow k 2.0)) (pow t 1.0)) 1.0) (/ (sin k) l)) (/ (cos k) (/ (sin k) l)))
662.0ms
(/ (/ 1 (pow k 2.0)) (pow t 1.0))
854.0ms
(/ (pow (/ (/ 1 (pow k 2.0)) (pow t 1.0)) 1.0) (/ (sin k) l))

simplify30.3s

Counts
5774 → 5774
Iterations
IterNodes
done6649
06649

prune1.7m

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 0.8b

localize191.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ (sin k) l))
0.6b
(cbrt (/ (sin k) l))
1.6b
(/ (pow (/ (/ 1 (pow k (/ 2.0 2))) (cbrt (pow t 1.0))) 1.0) (cbrt (/ (sin k) l)))
2.7b
(/ (pow (/ (/ 1 (pow k (/ 2.0 2))) (* (cbrt (pow t 1.0)) (cbrt (pow t 1.0)))) 1.0) (* (cbrt (/ (sin k) l)) (cbrt (/ (sin k) l))))

rewrite2.4s

Algorithm
rewrite-expression-head
Rules
14422×times-frac
7199×unpow-prod-down
6368×cbrt-prod
5811×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
960×sqr-pow
454×div-inv
291×associate-/l*
212×add-exp-log
139×div-exp
68×pow-exp
43×prod-exp
18×pow-to-exp
17×associate-/r*
15×rec-exp 1-exp
8×add-cbrt-cube
7×cbrt-div
4×pow1 expm1-log1p-u associate-/r/ log1p-expm1-u add-log-exp
3×cbrt-undiv
2×frac-2neg pow1/3 clear-num
1×frac-times associate-*r/ associate-*l/ cbrt-unprod
Counts
4 → 4607
Calls
4 calls:
5.0ms
(cbrt (/ (sin k) l))
5.0ms
(cbrt (/ (sin k) l))
592.0ms
(/ (pow (/ (/ 1 (pow k (/ 2.0 2))) (cbrt (pow t 1.0))) 1.0) (cbrt (/ (sin k) l)))
213.0ms
(/ (pow (/ (/ 1 (pow k (/ 2.0 2))) (* (cbrt (pow t 1.0)) (cbrt (pow t 1.0)))) 1.0) (* (cbrt (/ (sin k) l)) (cbrt (/ (sin k) l))))

series2.7s

Counts
4 → 12
Calls
4 calls:
214.0ms
(cbrt (/ (sin k) l))
240.0ms
(cbrt (/ (sin k) l))
1.1s
(/ (pow (/ (/ 1 (pow k (/ 2.0 2))) (cbrt (pow t 1.0))) 1.0) (cbrt (/ (sin k) l)))
1.1s
(/ (pow (/ (/ 1 (pow k (/ 2.0 2))) (* (cbrt (pow t 1.0)) (cbrt (pow t 1.0)))) 1.0) (* (cbrt (/ (sin k) l)) (cbrt (/ (sin k) l))))

simplify16.3s

Counts
4619 → 4619
Iterations
IterNodes
done7116
07116

prune2.7m

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.2b

regimes1.9s

Accuracy

0% (0.9b remaining)

Error of 1.5b against oracle of 0.5b and baseline of 1.5b

bsearch0.0ms

simplify36.0ms

Iterations
IterNodes
done40
140
034

end0.0ms

sample39.6s

Algorithm
intervals
Results
11.0s4080×body1280valid
10.6s2270×body2560valid
8.5s964×body5120valid
5.8s2577×body640valid
1.3s1014×body320valid
1.2s2047×body80valid
253.0ms428×body160valid