Details

Time bar (total: 1.1m)

sample412.0ms

Algorithm
intervals
Results
143.0ms65×body1280valid
114.0ms57×body640valid
95.0ms211×body80valid
20.0ms20×body320valid
12.0ms18×body160valid

simplify2.7s

Counts
1 → 1

prune42.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 19.6b

localize91.0ms

Local error

Found 4 expressions with local error:

15.7b
(/ (/ (* (* (/ l t) (/ l t)) (/ 2 t)) (sin k)) (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
3.4b
(/ (* (* (/ l t) (/ l t)) (/ 2 t)) (sin k))
1.1b
(* (* (/ l t) (/ l t)) (/ 2 t))
0.7b
(fma (tan k) (fma (/ k t) (/ k t) 1) (tan k))

rewrite178.0ms

Algorithm
rewrite-expression-head
Rules
164×add-cbrt-cube add-exp-log
73×cbrt-undiv div-exp
54×prod-exp cbrt-unprod
46×times-frac
32×add-sqr-sqrt
29×*-un-lft-identity add-cube-cbrt
13×associate-*r*
10×frac-times associate-*l/
9×pow1
8×associate-/l* associate-/l/
7×div-inv
6×associate-/r* associate-*r/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down
2×clear-num frac-2neg unswap-sqr
1×associate-*l* *-commutative fma-udef
Counts
4 → 185
Calls
4 calls:
Slowest
77.0ms
(/ (/ (* (* (/ l t) (/ l t)) (/ 2 t)) (sin k)) (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
64.0ms
(/ (* (* (/ l t) (/ l t)) (/ 2 t)) (sin k))
29.0ms
(* (* (/ l t) (/ l t)) (/ 2 t))
0.0ms
(fma (tan k) (fma (/ k t) (/ k t) 1) (tan k))

series794.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
383.0ms
(/ (/ (* (* (/ l t) (/ l t)) (/ 2 t)) (sin k)) (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
164.0ms
(fma (tan k) (fma (/ k t) (/ k t) 1) (tan k))
158.0ms
(/ (* (* (/ l t) (/ l t)) (/ 2 t)) (sin k))
89.0ms
(* (* (/ l t) (/ l t)) (/ 2 t))

simplify1.4s

Counts
197 → 197

prune3.4s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 11.7b

localize90.0ms

Local error

Found 4 expressions with local error:

12.9b
(* (* (/ (/ l t) (cbrt (sin k))) (/ (/ l t) (cbrt (sin k)))) (/ (/ (/ 2 t) (cbrt (sin k))) (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k))))
2.5b
(/ (/ (/ 2 t) (cbrt (sin k))) (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
2.1b
(/ (/ l t) (cbrt (sin k)))
2.1b
(/ (/ l t) (cbrt (sin k)))

rewrite225.0ms

Algorithm
rewrite-expression-head
Rules
1709×times-frac
824×add-sqr-sqrt
807×*-un-lft-identity add-cube-cbrt
359×cbrt-prod
271×add-exp-log
250×associate-*r*
197×add-cbrt-cube
144×cbrt-undiv div-exp
108×associate-/l*
76×prod-exp cbrt-unprod
67×div-inv
15×associate-/r*
9×pow1
6×unswap-sqr
5×frac-times associate-*l/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg pow-prod-down associate-*r/ associate-/l/
1×associate-*l* *-commutative
Counts
4 → 938
Calls
4 calls:
Slowest
120.0ms
(* (* (/ (/ l t) (cbrt (sin k))) (/ (/ l t) (cbrt (sin k)))) (/ (/ (/ 2 t) (cbrt (sin k))) (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k))))
28.0ms
(/ (/ (/ 2 t) (cbrt (sin k))) (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
17.0ms
(/ (/ l t) (cbrt (sin k)))
16.0ms
(/ (/ l t) (cbrt (sin k)))

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
655.0ms
(* (* (/ (/ l t) (cbrt (sin k))) (/ (/ l t) (cbrt (sin k)))) (/ (/ (/ 2 t) (cbrt (sin k))) (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k))))
488.0ms
(/ (/ (/ 2 t) (cbrt (sin k))) (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
158.0ms
(/ (/ l t) (cbrt (sin k)))
154.0ms
(/ (/ l t) (cbrt (sin k)))

simplify2.8s

Counts
950 → 950

prune20.8s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 10.9b

localize161.0ms

Local error

Found 4 expressions with local error:

15.3b
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
15.3b
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
15.3b
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
6.8b
(* (/ (/ l t) (cbrt (sin k))) (* (/ (cbrt (/ (/ 2 t) (cbrt (sin k)))) (cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))) (/ (cbrt (/ (/ 2 t) (cbrt (sin k)))) (cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k))))))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
87×add-sqr-sqrt
82×associate-*l*
76×*-un-lft-identity add-cube-cbrt
73×add-exp-log
50×cbrt-prod
39×add-cbrt-cube
27×cbrt-undiv div-exp prod-exp cbrt-unprod
9×pow1
7×div-inv
5×frac-times associate-*r/ unswap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 pow-prod-down associate-*l/
1×associate-*r* *-commutative
Counts
4 → 180
Calls
4 calls:
Slowest
78.0ms
(* (/ (/ l t) (cbrt (sin k))) (* (/ (cbrt (/ (/ 2 t) (cbrt (sin k)))) (cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))) (/ (cbrt (/ (/ 2 t) (cbrt (sin k)))) (cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k))))))
1.0ms
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
1.0ms
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
1.0ms
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))

series1.8s

Counts
4 → 12
Calls
4 calls:
Slowest
712.0ms
(* (/ (/ l t) (cbrt (sin k))) (* (/ (cbrt (/ (/ 2 t) (cbrt (sin k)))) (cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))) (/ (cbrt (/ (/ 2 t) (cbrt (sin k)))) (cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k))))))
396.0ms
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
369.0ms
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
329.0ms
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))

simplify2.4s

Counts
192 → 192

prune5.1s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 10.9b

localize452.0ms

Local error

Found 4 expressions with local error:

15.3b
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
15.3b
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
15.3b
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
14.5b
(cbrt (/ l t))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
22×cbrt-prod
14×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
4×expm1-log1p-u pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
1×cbrt-div div-inv
Counts
4 → 67
Calls
4 calls:
Slowest
2.0ms
(cbrt (/ l t))
1.0ms
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
1.0ms
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
1.0ms
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
359.0ms
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
308.0ms
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
287.0ms
(cbrt (fma (tan k) (fma (/ k t) (/ k t) 1) (tan k)))
88.0ms
(cbrt (/ l t))

simplify1.3s

Counts
79 → 79

prune2.0s

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 10.9b

regimes949.0ms

Accuracy

0% (1.2b remaining)

Error of 11.9b against oracle of 10.7b and baseline of 11.9b

bsearch10.0ms

end0.0ms

sample15.5s

Algorithm
intervals
Results
6.3s2097×body1280valid
3.9s1711×body640valid
3.4s6059×body80valid
1.2s838×body320valid
409.0ms449×body160valid