Details

Time bar (total: 23.0s)

sample129.0ms

Algorithm
intervals
Results
45.0ms54×body1280valid
31.0ms55×body640valid
24.0ms218×body80valid
6.0ms17×body320valid
5.0ms18×body160valid

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: 4 (309.0ms)

IterNodesCost
01925
14725
215625
379625
4409324
done500024

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.9b

localize21.0ms

Local error

Found 4 expressions with local error:

2.9b
(* (pow t 3.0) (sin k))
5.1b
(/ (* (pow t 3.0) (sin k)) l)
5.7b
(* (/ 2.0 (* (* (tan k) (/ (* (pow t 3.0) (sin k)) l)) (fma 2 1.0 (pow (/ k t) 2.0)))) l)
12.6b
(* (* (tan k) (/ (* (pow t 3.0) (sin k)) l)) (fma 2 1.0 (pow (/ k t) 2.0)))

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
82×add-exp-log
52×add-cbrt-cube
42×prod-exp
24×cbrt-unprod
20×add-sqr-sqrt
19×div-exp
18×associate-*l*
13×add-cube-cbrt *-un-lft-identity
11×pow1 cbrt-undiv
9×associate-*r* associate-*l/
6×times-frac
4×tan-quot expm1-log1p-u pow-to-exp unpow-prod-down pow-prod-down pow-exp log1p-expm1-u add-log-exp unswap-sqr
3×associate-/r* associate-/r/ *-commutative
2×frac-times associate-*r/ fma-udef div-inv sqr-pow
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num associate-/l*
Counts
4 → 123
Calls
4 calls:
6.0ms
(* (pow t 3.0) (sin k))
5.0ms
(/ (* (pow t 3.0) (sin k)) l)
112.0ms
(* (/ 2.0 (* (* (tan k) (/ (* (pow t 3.0) (sin k)) l)) (fma 2 1.0 (pow (/ k t) 2.0)))) l)
30.0ms
(* (* (tan k) (/ (* (pow t 3.0) (sin k)) l)) (fma 2 1.0 (pow (/ k t) 2.0)))

series1.6s

Counts
4 → 12
Calls
4 calls:
172.0ms
(* (pow t 3.0) (sin k))
227.0ms
(/ (* (pow t 3.0) (sin k)) l)
795.0ms
(* (/ 2.0 (* (* (tan k) (/ (* (pow t 3.0) (sin k)) l)) (fma 2 1.0 (pow (/ k t) 2.0)))) l)
374.0ms
(* (* (tan k) (/ (* (pow t 3.0) (sin k)) l)) (fma 2 1.0 (pow (/ k t) 2.0)))

simplify1.4s

Counts
135 → 135
Iterations

Useful iterations: 2 (324.0ms)

IterNodesCost
02913028
18272917
241792325
done50002325

prune523.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 23.4b

localize27.0ms

Local error

Found 4 expressions with local error:

2.8b
(* (tan k) (/ (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k))) l))
5.1b
(/ (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k))) l)
5.7b
(* (/ 2.0 (* (* (tan k) (/ (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k))) l)) (fma 2 1.0 (pow (/ k t) 2.0)))) l)
12.6b
(* (* (tan k) (/ (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k))) l)) (fma 2 1.0 (pow (/ k t) 2.0)))

rewrite523.0ms

Algorithm
rewrite-expression-head
Rules
376×add-exp-log
241×prod-exp
88×div-exp
82×add-cbrt-cube
48×pow-exp
41×cbrt-unprod
32×pow-to-exp
18×cbrt-undiv
17×add-sqr-sqrt
14×associate-*l*
13×pow1 add-cube-cbrt *-un-lft-identity associate-*r*
10×associate-*l/
9×times-frac
6×tan-quot
5×pow-prod-down
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-times associate-*r/ associate-/r* associate-/r/ *-commutative div-inv
2×fma-udef unswap-sqr
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num associate-/l*
Counts
4 → 185
Calls
4 calls:
30.0ms
(* (tan k) (/ (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k))) l))
13.0ms
(/ (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k))) l)
366.0ms
(* (/ 2.0 (* (* (tan k) (/ (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k))) l)) (fma 2 1.0 (pow (/ k t) 2.0)))) l)
101.0ms
(* (* (tan k) (/ (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k))) l)) (fma 2 1.0 (pow (/ k t) 2.0)))

series1.8s

Counts
4 → 12
Calls
4 calls:
287.0ms
(* (tan k) (/ (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k))) l))
266.0ms
(/ (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k))) l)
862.0ms
(* (/ 2.0 (* (* (tan k) (/ (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k))) l)) (fma 2 1.0 (pow (/ k t) 2.0)))) l)
409.0ms
(* (* (tan k) (/ (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k))) l)) (fma 2 1.0 (pow (/ k t) 2.0)))

simplify591.0ms

Counts
197 → 197
Iterations

Useful iterations: done (583.0ms)

IterNodesCost
03646691
111276215
done50016095

prune616.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 20.5b

localize27.0ms

Local error

Found 4 expressions with local error:

2.8b
(* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (* (pow (cbrt t) 3.0) (sin k)) l)))
3.0b
(* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (* (pow (cbrt t) 3.0) (sin k)) l))
5.7b
(* (/ 2.0 (* (* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (* (pow (cbrt t) 3.0) (sin k)) l))) (fma 2 1.0 (pow (/ k t) 2.0)))) l)
12.6b
(* (* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (* (pow (cbrt t) 3.0) (sin k)) l))) (fma 2 1.0 (pow (/ k t) 2.0)))

rewrite609.0ms

Algorithm
rewrite-expression-head
Rules
421×add-exp-log
279×prod-exp
87×div-exp
82×add-cbrt-cube
56×pow-exp
45×cbrt-unprod
36×pow-to-exp
19×associate-*l*
18×add-sqr-sqrt
14×cbrt-undiv associate-*r*
13×pow1
12×add-cube-cbrt *-un-lft-identity
10×associate-*r/ associate-*l/
6×tan-quot times-frac
5×pow-prod-down
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp unswap-sqr
3×frac-times associate-/r/
2×unpow-prod-down fma-udef div-inv sqr-pow
1×distribute-rgt-in distribute-lft-in
Counts
4 → 197
Calls
4 calls:
33.0ms
(* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (* (pow (cbrt t) 3.0) (sin k)) l)))
16.0ms
(* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (* (pow (cbrt t) 3.0) (sin k)) l))
428.0ms
(* (/ 2.0 (* (* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (* (pow (cbrt t) 3.0) (sin k)) l))) (fma 2 1.0 (pow (/ k t) 2.0)))) l)
117.0ms
(* (* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (* (pow (cbrt t) 3.0) (sin k)) l))) (fma 2 1.0 (pow (/ k t) 2.0)))

series1.8s

Counts
4 → 12
Calls
4 calls:
287.0ms
(* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (* (pow (cbrt t) 3.0) (sin k)) l)))
268.0ms
(* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (* (pow (cbrt t) 3.0) (sin k)) l))
841.0ms
(* (/ 2.0 (* (* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (* (pow (cbrt t) 3.0) (sin k)) l))) (fma 2 1.0 (pow (/ k t) 2.0)))) l)
399.0ms
(* (* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (* (pow (cbrt t) 3.0) (sin k)) l))) (fma 2 1.0 (pow (/ k t) 2.0)))

simplify462.0ms

Counts
209 → 209
Iterations

Useful iterations: done (454.0ms)

IterNodesCost
03727042
111386474
done50005407

prune638.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 17.7b

localize34.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ 2.0 (* (* (tan k) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (* (pow (cbrt t) 3.0) (sin k)) l)))) (fma 2 1.0 (pow (/ k t) 2.0))))
2.8b
(* (tan k) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (* (pow (cbrt t) 3.0) (sin k)) l))))
5.7b
(* (/ 2.0 (* (* (tan k) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (* (pow (cbrt t) 3.0) (sin k)) l)))) (fma 2 1.0 (pow (/ k t) 2.0)))) l)
12.6b
(* (* (tan k) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (* (pow (cbrt t) 3.0) (sin k)) l)))) (fma 2 1.0 (pow (/ k t) 2.0)))

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
2250×add-exp-log
1698×prod-exp
430×div-exp
392×pow-exp
228×pow-to-exp
130×add-cbrt-cube
78×cbrt-unprod
22×cbrt-undiv
20×associate-*r/
14×associate-*l* associate-*l/
13×pow1 add-sqr-sqrt
11×add-cube-cbrt *-un-lft-identity
8×tan-quot
7×associate-*r*
6×times-frac associate-/r/
5×pow-prod-down
4×expm1-log1p-u frac-times log1p-expm1-u add-log-exp
3×*-commutative associate-/l*
2×fma-udef div-inv
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num associate-/r* unswap-sqr
Counts
4 → 459
Calls
4 calls:
327.0ms
(/ 2.0 (* (* (tan k) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (* (pow (cbrt t) 3.0) (sin k)) l)))) (fma 2 1.0 (pow (/ k t) 2.0))))
97.0ms
(* (tan k) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (* (pow (cbrt t) 3.0) (sin k)) l))))
1.3s
(* (/ 2.0 (* (* (tan k) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (* (pow (cbrt t) 3.0) (sin k)) l)))) (fma 2 1.0 (pow (/ k t) 2.0)))) l)
334.0ms
(* (* (tan k) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (* (pow (cbrt t) 3.0) (sin k)) l)))) (fma 2 1.0 (pow (/ k t) 2.0)))

series2.2s

Counts
4 → 12
Calls
4 calls:
651.0ms
(/ 2.0 (* (* (tan k) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (* (pow (cbrt t) 3.0) (sin k)) l)))) (fma 2 1.0 (pow (/ k t) 2.0))))
290.0ms
(* (tan k) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (* (pow (cbrt t) 3.0) (sin k)) l))))
880.0ms
(* (/ 2.0 (* (* (tan k) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (* (pow (cbrt t) 3.0) (sin k)) l)))) (fma 2 1.0 (pow (/ k t) 2.0)))) l)
411.0ms
(* (* (tan k) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (* (pow (cbrt t) 3.0) (sin k)) l)))) (fma 2 1.0 (pow (/ k t) 2.0)))

simplify834.0ms

Counts
471 → 471
Iterations

Useful iterations: done (813.0ms)

IterNodesCost
052323972
1175617788
done500117566

prune645.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 16.8b

regimes715.0ms

Accuracy

0% (1.5b remaining)

Error of 19.5b against oracle of 18.0b and baseline of 19.5b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02545
13145
done3145

end0.0ms

sample4.1s

Algorithm
intervals
Results
1.7s2038×body1280valid
965.0ms1738×body640valid
680.0ms5940×body80valid
322.0ms836×body320valid
116.0ms447×body160valid