Details

Time bar (total: 3.1m)

sample259.0ms

Algorithm
intervals
Results
83.0ms63×body1280valid
55.0ms30×body320valid
46.0ms53×body640valid
39.0ms203×body80valid
6.0ms16×body160valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5000
3903
2161
148
019

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.6b

localize40.0ms

Local error

Found 4 expressions with local error:

1.8b
(/ l (fma 2 1.0 (pow (/ k t) 2.0)))
2.7b
(/ (pow t 3.0) l)
9.5b
(/ (/ 2.0 (/ (pow t 3.0) l)) (* (sin k) (tan k)))
20.6b
(* (/ (/ 2.0 (/ (pow t 3.0) l)) (* (sin k) (tan k))) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

rewrite191.0ms

Algorithm
rewrite-expression-head
Rules
614×times-frac
245×add-sqr-sqrt
240×*-un-lft-identity add-cube-cbrt
157×add-exp-log
94×add-cbrt-cube
93×unpow-prod-down
90×associate-/l*
87×div-exp
85×associate-*l*
45×cbrt-undiv
37×prod-exp
31×sqr-pow
23×cbrt-unprod
17×div-inv
13×associate-*r*
7×pow-to-exp associate-/r* pow-exp
6×pow1
5×associate-/r/
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-*r/
2×tan-quot unswap-sqr
1×frac-times pow-prod-down associate-*l/ *-commutative associate-/l/
Counts
4 → 417
Calls
4 calls:
4.0ms
(/ l (fma 2 1.0 (pow (/ k t) 2.0)))
7.0ms
(/ (pow t 3.0) l)
46.0ms
(/ (/ 2.0 (/ (pow t 3.0) l)) (* (sin k) (tan k)))
109.0ms
(* (/ (/ 2.0 (/ (pow t 3.0) l)) (* (sin k) (tan k))) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

series2.0s

Counts
4 → 12
Calls
4 calls:
104.0ms
(/ l (fma 2 1.0 (pow (/ k t) 2.0)))
216.0ms
(/ (pow t 3.0) l)
731.0ms
(/ (/ 2.0 (/ (pow t 3.0) l)) (* (sin k) (tan k)))
920.0ms
(* (/ (/ 2.0 (/ (pow t 3.0) l)) (* (sin k) (tan k))) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

simplify2.8s

Counts
429 → 429
Iterations
IterNodes
done5000
12324
0752

prune4.4s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 20.9b

localize126.0ms

Local error

Found 4 expressions with local error:

3.6b
(* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))
5.6b
(/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))
6.0b
(/ (/ 1 (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))) (sin k))
13.1b
(* (/ (/ 1 (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))) (sin k)) (* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0)))))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
3040×add-exp-log
2272×times-frac
1888×div-exp
1040×add-sqr-sqrt
995×prod-exp
935×*-un-lft-identity add-cube-cbrt
696×associate-*l*
444×cbrt-prod
355×unpow-prod-down
321×add-cbrt-cube
232×pow-exp
188×cbrt-undiv
146×pow-to-exp
126×rec-exp 1-exp
104×cbrt-unprod
81×sqr-pow
45×div-inv
37×associate-/l*
22×unswap-sqr
14×associate-*r*
11×pow1 associate-/r/
6×frac-times associate-*r/
4×expm1-log1p-u associate-/r* pow-prod-down associate-*l/ log1p-expm1-u add-log-exp
2×clear-num frac-2neg *-commutative
1×tan-quot associate-/l/
Counts
4 → 1416
Calls
4 calls:
415.0ms
(* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))
13.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))
36.0ms
(/ (/ 1 (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))) (sin k))
400.0ms
(* (/ (/ 1 (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))) (sin k)) (* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0)))))

series2.6s

Counts
4 → 12
Calls
4 calls:
812.0ms
(* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))
352.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))
471.0ms
(/ (/ 1 (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))) (sin k))
1.0s
(* (/ (/ 1 (/ (pow (* (cbrt t) (cbrt t)) 3.0) (* (cbrt l) (cbrt l)))) (sin k)) (* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0)))))

simplify4.1s

Counts
1428 → 1428
Iterations
IterNodes
done5000
01806

prune16.5s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 12.3b

localize201.0ms

Local error

Found 4 expressions with local error:

1.8b
(/ l (fma 2 1.0 (pow (/ k t) 2.0)))
2.9b
(* (/ (/ 1 (/ (pow (cbrt t) 3.0) (cbrt l))) (* (cbrt (sin k)) (cbrt (sin k)))) (* (/ (/ 1 (/ (pow (cbrt t) 3.0) (cbrt l))) (cbrt (sin k))) (* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))))
3.6b
(* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))
4.4b
(* (/ (/ 1 (/ (pow (cbrt t) 3.0) (cbrt l))) (cbrt (sin k))) (* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0)))))

rewrite5.3s

Algorithm
rewrite-expression-head
Rules
50067×add-exp-log
33691×div-exp
17132×prod-exp
5773×times-frac
2976×pow-to-exp pow-exp
2920×rec-exp 1-exp
2538×add-sqr-sqrt
2433×*-un-lft-identity add-cube-cbrt
2043×cbrt-prod
1985×add-cbrt-cube
1983×associate-*l*
1405×cbrt-undiv
1088×unpow-prod-down
922×cbrt-unprod
184×sqr-pow
45×div-inv
23×frac-times associate-*r/
22×unswap-sqr
20×pow1
15×associate-*r*
11×associate-*l/ associate-/r/
10×pow-prod-down
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* *-commutative associate-/l*
1×clear-num frac-2neg tan-quot
Counts
4 → 7548
Calls
4 calls:
7.0ms
(/ l (fma 2 1.0 (pow (/ k t) 2.0)))
1.4s
(* (/ (/ 1 (/ (pow (cbrt t) 3.0) (cbrt l))) (* (cbrt (sin k)) (cbrt (sin k)))) (* (/ (/ 1 (/ (pow (cbrt t) 3.0) (cbrt l))) (cbrt (sin k))) (* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))))
368.0ms
(* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))
790.0ms
(* (/ (/ 1 (/ (pow (cbrt t) 3.0) (cbrt l))) (cbrt (sin k))) (* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0)))))

series2.7s

Counts
4 → 12
Calls
4 calls:
141.0ms
(/ l (fma 2 1.0 (pow (/ k t) 2.0)))
999.0ms
(* (/ (/ 1 (/ (pow (cbrt t) 3.0) (cbrt l))) (* (cbrt (sin k)) (cbrt (sin k)))) (* (/ (/ 1 (/ (pow (cbrt t) 3.0) (cbrt l))) (cbrt (sin k))) (* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))))
811.0ms
(* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))
726.0ms
(* (/ (/ 1 (/ (pow (cbrt t) 3.0) (cbrt l))) (cbrt (sin k))) (* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0)))))

simplify12.9s

Counts
7560 → 7560
Iterations
IterNodes
done5131
05131

prune1.6m

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 11.4b

localize233.0ms

Local error

Found 4 expressions with local error:

7.4b
(* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ 1 (* (cbrt (fma 2 1.0 (pow (/ k t) 2.0))) (cbrt (fma 2 1.0 (pow (/ k t) 2.0))))))
20.6b
(cbrt (fma 2 1.0 (pow (/ k t) 2.0)))
20.6b
(cbrt (fma 2 1.0 (pow (/ k t) 2.0)))
20.6b
(cbrt (fma 2 1.0 (pow (/ k t) 2.0)))

rewrite486.0ms

Algorithm
rewrite-expression-head
Rules
1813×times-frac
883×add-sqr-sqrt
764×*-un-lft-identity
753×add-cube-cbrt
596×associate-*l*
459×cbrt-prod
336×unpow-prod-down
195×add-exp-log
108×div-exp
60×prod-exp sqr-pow
47×add-cbrt-cube
33×unswap-sqr
26×cbrt-undiv
16×cbrt-unprod
14×div-inv
12×rec-exp 1-exp
7×pow-to-exp associate-*r* pow-exp
6×pow1
4×expm1-log1p-u associate-/r/ log1p-expm1-u add-log-exp
3×pow1/3
1×frac-times pow-prod-down associate-*l/ tan-quot associate-*r/ un-div-inv *-commutative
Counts
4 → 744
Calls
4 calls:
399.0ms
(* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ 1 (* (cbrt (fma 2 1.0 (pow (/ k t) 2.0))) (cbrt (fma 2 1.0 (pow (/ k t) 2.0))))))
2.0ms
(cbrt (fma 2 1.0 (pow (/ k t) 2.0)))
3.0ms
(cbrt (fma 2 1.0 (pow (/ k t) 2.0)))
1.0ms
(cbrt (fma 2 1.0 (pow (/ k t) 2.0)))

series1.6s

Counts
4 → 12
Calls
4 calls:
992.0ms
(* (/ (/ 2.0 (/ (pow (cbrt t) 3.0) (cbrt l))) (tan k)) (/ 1 (* (cbrt (fma 2 1.0 (pow (/ k t) 2.0))) (cbrt (fma 2 1.0 (pow (/ k t) 2.0))))))
209.0ms
(cbrt (fma 2 1.0 (pow (/ k t) 2.0)))
220.0ms
(cbrt (fma 2 1.0 (pow (/ k t) 2.0)))
185.0ms
(cbrt (fma 2 1.0 (pow (/ k t) 2.0)))

simplify4.4s

Counts
756 → 756
Iterations
IterNodes
done5000
13393
01011

prune13.4s

Pruning

26 alts after pruning (25 fresh and 1 done)

Merged error: 11.4b

regimes3.2s

Accuracy

0% (1.1b remaining)

Error of 12.4b against oracle of 11.3b and baseline of 12.4b

bsearch0.0ms

simplify16.0ms

Iterations
IterNodes
done38
138
032

end0.0ms

sample10.8s

Algorithm
intervals
Results
5.7s2044×body1280valid
2.1s1826×body640valid
1.3s5812×body80valid
778.0ms819×body320valid
264.0ms439×body160valid