Details

Time bar (total: 23.4s)

sample126.0ms

Algorithm
intervals
Results
46.0ms54×body1280valid
28.0ms55×body640valid
23.0ms218×body80valid
6.0ms17×body320valid
4.0ms18×body160valid

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: 4 (379.0ms)

IterNodesCost
01925
14725
215625
379125
4393424
done500024

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 30.8b

localize25.0ms

Local error

Found 4 expressions with local error:

3.0b
(* (/ (pow t 3.0) (* l l)) (sin k))
3.4b
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
12.4b
(/ (/ 2.0 (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))) (fma 2 1.0 (pow (/ k t) 2.0)))
13.9b
(/ (pow t 3.0) (* l l))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
119×add-exp-log
59×times-frac add-cbrt-cube
49×prod-exp
43×div-exp
39×add-sqr-sqrt
32×add-cube-cbrt *-un-lft-identity
21×cbrt-unprod
19×cbrt-undiv
17×associate-/l*
16×associate-*l/
12×associate-*l* associate-/r/
11×pow1
10×tan-quot unpow-prod-down
8×pow-to-exp pow-exp
7×div-inv
6×associate-*r*
5×frac-times associate-*r/
4×expm1-log1p-u pow-prod-down associate-/r* log1p-expm1-u add-log-exp unswap-sqr sqr-pow
2×frac-2neg clear-num *-commutative
1×associate-/l/
Counts
4 → 178
Calls
4 calls:
15.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
37.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
43.0ms
(/ (/ 2.0 (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))) (fma 2 1.0 (pow (/ k t) 2.0)))
5.0ms
(/ (pow t 3.0) (* l l))

series1.6s

Counts
4 → 12
Calls
4 calls:
258.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
327.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
849.0ms
(/ (/ 2.0 (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))) (fma 2 1.0 (pow (/ k t) 2.0)))
185.0ms
(/ (pow t 3.0) (* l l))

simplify1.2s

Counts
190 → 190
Iterations

Useful iterations: 2 (483.0ms)

IterNodesCost
03714464
19894301
238873731
done50013731

prune735.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 20.6b

localize31.0ms

Local error

Found 4 expressions with local error:

3.4b
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
5.2b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
8.8b
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
12.4b
(/ (/ 2.0 (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))) (fma 2 1.0 (pow (/ k t) 2.0)))

rewrite213.0ms

Algorithm
rewrite-expression-head
Rules
333×add-exp-log
157×prod-exp
132×div-exp
103×times-frac
88×add-cbrt-cube
72×add-sqr-sqrt
59×add-cube-cbrt *-un-lft-identity
46×associate-*l/
36×cbrt-unprod
35×associate-*l*
33×pow-exp
29×cbrt-undiv
28×associate-/r/
25×frac-times
24×unpow-prod-down
22×pow-to-exp
20×tan-quot
19×associate-/l*
15×pow1 associate-*r/
10×cbrt-prod
8×sqr-pow
7×pow-prod-down div-inv
6×associate-*r* associate-/r*
5×unswap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×frac-2neg clear-num *-commutative
1×associate-/l/
Counts
4 → 266
Calls
4 calls:
79.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
18.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
4.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
96.0ms
(/ (/ 2.0 (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))) (fma 2 1.0 (pow (/ k t) 2.0)))

series1.6s

Counts
4 → 12
Calls
4 calls:
375.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
255.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
207.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
729.0ms
(/ (/ 2.0 (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))) (fma 2 1.0 (pow (/ k t) 2.0)))

simplify583.0ms

Counts
278 → 278
Iterations

Useful iterations: done (572.0ms)

IterNodesCost
05638511
115818094
done50007950

prune1.3s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 14.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.9b
(* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
3.4b
(* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
5.2b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
12.4b
(/ (/ 2.0 (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))) (fma 2 1.0 (pow (/ k t) 2.0)))

rewrite398.0ms

Algorithm
rewrite-expression-head
Rules
1993×add-exp-log
947×div-exp
918×prod-exp
334×pow-exp
258×times-frac
199×pow-to-exp
164×add-cbrt-cube
135×associate-*l*
127×add-sqr-sqrt
114×add-cube-cbrt *-un-lft-identity
67×cbrt-unprod
60×cbrt-undiv
54×unpow-prod-down
49×associate-*l/
38×sqr-pow
29×associate-/r/
26×frac-times
20×tan-quot pow1
16×associate-*r/
14×associate-/l*
12×div-inv
10×cbrt-prod pow-prod-down
7×associate-*r*
5×unswap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* *-commutative
1×frac-2neg clear-num associate-/l/
Counts
4 → 622
Calls
4 calls:
59.0ms
(* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
111.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
19.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
136.0ms
(/ (/ 2.0 (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))) (fma 2 1.0 (pow (/ k t) 2.0)))

series1.7s

Counts
4 → 12
Calls
4 calls:
309.0ms
(* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
401.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
257.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
724.0ms
(/ (/ 2.0 (* (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))) (fma 2 1.0 (pow (/ k t) 2.0)))

simplify772.0ms

Counts
634 → 634
Iterations

Useful iterations: done (744.0ms)

IterNodesCost
091427064
1296524810
done500124537

prune2.3s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 12.0b

localize37.0ms

Local error

Found 4 expressions with local error:

6.0b
(/ (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2))) (sqrt (fma 2 1.0 (pow (/ k t) 2.0))))
9.1b
(sqrt (fma 2 1.0 (pow (/ k t) 2.0)))
9.1b
(sqrt (fma 2 1.0 (pow (/ k t) 2.0)))
9.7b
(/ (/ 2.0 (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))) (sqrt (fma 2 1.0 (pow (/ k t) 2.0))))

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
300×times-frac
151×add-exp-log
147×add-sqr-sqrt
145×add-cube-cbrt *-un-lft-identity
99×sqrt-prod
66×div-exp
63×prod-exp
36×add-cbrt-cube
29×associate-/l*
21×unpow-prod-down associate-*r/ associate-*l/ associate-/r/ sqr-pow
16×pow-exp div-inv
15×cbrt-undiv
14×tan-quot
12×associate-/r*
10×pow-to-exp
9×cbrt-unprod
7×frac-times
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 clear-num associate-/l/
Counts
4 → 307
Calls
4 calls:
11.0ms
(/ (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2))) (sqrt (fma 2 1.0 (pow (/ k t) 2.0))))
1.0ms
(sqrt (fma 2 1.0 (pow (/ k t) 2.0)))
1.0ms
(sqrt (fma 2 1.0 (pow (/ k t) 2.0)))
89.0ms
(/ (/ 2.0 (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))) (sqrt (fma 2 1.0 (pow (/ k t) 2.0))))

series1.4s

Counts
4 → 12
Calls
4 calls:
338.0ms
(/ (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2))) (sqrt (fma 2 1.0 (pow (/ k t) 2.0))))
101.0ms
(sqrt (fma 2 1.0 (pow (/ k t) 2.0)))
101.0ms
(sqrt (fma 2 1.0 (pow (/ k t) 2.0)))
867.0ms
(/ (/ 2.0 (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))) (sqrt (fma 2 1.0 (pow (/ k t) 2.0))))

simplify1.5s

Counts
319 → 319
Iterations

Useful iterations: 2 (739.0ms)

IterNodesCost
061612942
1156412036
2477411542
done500011542

prune1.6s

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 10.8b

regimes845.0ms

Accuracy

0% (3.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03275
13675
done3675

end0.0ms

sample3.9s

Algorithm
intervals
Results
1.7s2038×body1280valid
921.0ms1738×body640valid
655.0ms5940×body80valid
302.0ms836×body320valid
110.0ms447×body160valid