Details

Time bar (total: 21.1s)

sample125.0ms

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

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: 4 (304.0ms)

IterNodesCost
01925
14725
215625
379625
4409324
done500024

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.9b

localize20.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)))

rewrite156.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)
110.0ms
(* (/ 2.0 (* (* (tan k) (/ (* (pow t 3.0) (sin k)) l)) (fma 2 1.0 (pow (/ k t) 2.0)))) l)
29.0ms
(* (* (tan k) (/ (* (pow t 3.0) (sin k)) l)) (fma 2 1.0 (pow (/ k t) 2.0)))

series1.5s

Counts
4 → 12
Calls
4 calls:
169.0ms
(* (pow t 3.0) (sin k))
219.0ms
(/ (* (pow t 3.0) (sin k)) l)
784.0ms
(* (/ 2.0 (* (* (tan k) (/ (* (pow t 3.0) (sin k)) l)) (fma 2 1.0 (pow (/ k t) 2.0)))) l)
365.0ms
(* (* (tan k) (/ (* (pow t 3.0) (sin k)) l)) (fma 2 1.0 (pow (/ k t) 2.0)))

simplify1.5s

Counts
135 → 135
Iterations

Useful iterations: 2 (328.0ms)

IterNodesCost
02913028
18272917
241792325
done50002325

prune517.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)))

rewrite515.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:
28.0ms
(* (tan k) (/ (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k))) l))
15.0ms
(/ (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k))) l)
360.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)
99.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.9s

Counts
4 → 12
Calls
4 calls:
291.0ms
(* (tan k) (/ (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k))) l))
270.0ms
(/ (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k))) l)
873.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)
417.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)))

simplify607.0ms

Counts
197 → 197
Iterations

Useful iterations: done (599.0ms)

IterNodesCost
03646691
111276215
done50016095

prune647.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 20.5b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite313.0ms

Algorithm
rewrite-expression-head
Rules
421×add-exp-log
199×prod-exp
167×div-exp
109×times-frac
82×add-cbrt-cube
58×add-sqr-sqrt
56×pow-exp
47×add-cube-cbrt *-un-lft-identity
46×associate-*r*
36×pow-to-exp
33×cbrt-unprod
26×cbrt-undiv
16×unpow-prod-down sqr-pow
14×associate-*l* div-inv
13×pow1
10×associate-*l/
7×associate-/r*
6×tan-quot
5×pow-prod-down associate-/r/ associate-/l* unswap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-times associate-*r/ *-commutative
2×fma-udef
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num
Counts
4 → 274
Calls
4 calls:
30.0ms
(* (tan k) (/ (pow (* (cbrt t) (cbrt t)) 3.0) (/ l (* (pow (cbrt t) 3.0) (sin k)))))
9.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) (/ l (* (pow (cbrt t) 3.0) (sin k))))
202.0ms
(* (/ 2.0 (* (* (tan k) (/ (pow (* (cbrt t) (cbrt t)) 3.0) (/ l (* (pow (cbrt t) 3.0) (sin k))))) (fma 2 1.0 (pow (/ k t) 2.0)))) l)
53.0ms
(* (* (tan k) (/ (pow (* (cbrt t) (cbrt t)) 3.0) (/ l (* (pow (cbrt t) 3.0) (sin k))))) (fma 2 1.0 (pow (/ k t) 2.0)))

series1.8s

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

simplify512.0ms

Counts
286 → 286
Iterations

Useful iterations: done (498.0ms)

IterNodesCost
04879041
114068476
done50018321

prune1.2s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 15.7b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite329.0ms

Algorithm
rewrite-expression-head
Rules
301×add-exp-log
186×prod-exp
80×div-exp
40×pow-exp
38×add-cbrt-cube
25×cbrt-unprod
21×cbrt-prod
20×pow-to-exp
13×pow1
12×associate-*l/
11×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
8×cbrt-undiv
6×pow-prod-down
5×frac-times
4×tan-quot expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-div pow1/3 associate-*r/ associate-*r* div-inv
2×fma-udef
1×distribute-rgt-in distribute-lft-in associate-*l* *-commutative
Counts
4 → 140
Calls
4 calls:
4.0ms
(cbrt (/ l (* (pow (cbrt t) 3.0) (sin k))))
4.0ms
(cbrt (/ l (* (pow (cbrt t) 3.0) (sin k))))
4.0ms
(cbrt (/ l (* (pow (cbrt t) 3.0) (sin k))))
308.0ms
(* (* (* (tan k) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt (/ l (* (pow (cbrt t) 3.0) (sin k)))) (cbrt (/ l (* (pow (cbrt t) 3.0) (sin k))))))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt (/ l (* (pow (cbrt t) 3.0) (sin k)))))) (fma 2 1.0 (pow (/ k t) 2.0)))

series980.0ms

Counts
4 → 12
Calls
4 calls:
188.0ms
(cbrt (/ l (* (pow (cbrt t) 3.0) (sin k))))
191.0ms
(cbrt (/ l (* (pow (cbrt t) 3.0) (sin k))))
190.0ms
(cbrt (/ l (* (pow (cbrt t) 3.0) (sin k))))
412.0ms
(* (* (* (tan k) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (cbrt (/ l (* (pow (cbrt t) 3.0) (sin k)))) (cbrt (/ l (* (pow (cbrt t) 3.0) (sin k))))))) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (cbrt (/ l (* (pow (cbrt t) 3.0) (sin k)))))) (fma 2 1.0 (pow (/ k t) 2.0)))

simplify1.4s

Counts
152 → 152
Iterations

Useful iterations: done (1.4s)

IterNodesCost
03057972
19187271
233305878
done50004353

prune714.0ms

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 13.9b

regimes899.0ms

Accuracy

0% (1.5b remaining)

Error of 16.3b against oracle of 14.8b and baseline of 16.3b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02868
13368
done3368

end0.0ms

sample3.9s

Algorithm
intervals
Results
1.7s2038×body1280valid
915.0ms1738×body640valid
666.0ms5940×body80valid
301.0ms836×body320valid
111.0ms447×body160valid