Details

Time bar (total: 1.3m)

sample314.0ms

Algorithm
intervals
Results
150.0ms62×body1280valid
61.0ms50×body640valid
43.0ms189×body80valid
15.0ms21×body320valid
6.0ms13×body160valid

simplify1.3s

Counts
1 → 1
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01925
14825
216025
391925
done500024

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.6b

localize49.0ms

Local error

Found 4 expressions with local error:

2.4b
(/ (/ (/ 2.0 (* (/ (pow t 3.0) (* l l)) (sin k))) (fma 2 1.0 (pow (/ k t) 2.0))) (tan k))
5.3b
(* (/ (pow t 3.0) (* l l)) (sin k))
12.2b
(/ (/ 2.0 (* (/ (pow t 3.0) (* l l)) (sin k))) (fma 2 1.0 (pow (/ k t) 2.0)))
14.6b
(/ (pow t 3.0) (* l l))

rewrite206.0ms

Algorithm
rewrite-expression-head
Rules
269×times-frac
129×add-exp-log
125×add-sqr-sqrt
118×add-cube-cbrt *-un-lft-identity
68×div-exp
65×add-cbrt-cube
43×associate-/l*
33×prod-exp
32×cbrt-undiv
24×div-inv
17×associate-*l/ associate-/r/
13×cbrt-unprod
11×associate-*l*
10×unpow-prod-down
8×pow-to-exp pow-exp
7×associate-/r*
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp unswap-sqr sqr-pow
3×frac-2neg associate-*r* clear-num
2×associate-/l/
1×tan-quot pow-prod-down *-commutative
Counts
4 → 282
Calls
4 calls:
58.0ms
(/ (/ (/ 2.0 (* (/ (pow t 3.0) (* l l)) (sin k))) (fma 2 1.0 (pow (/ k t) 2.0))) (tan k))
62.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
51.0ms
(/ (/ 2.0 (* (/ (pow t 3.0) (* l l)) (sin k))) (fma 2 1.0 (pow (/ k t) 2.0)))
20.0ms
(/ (pow t 3.0) (* l l))

series2.0s

Counts
4 → 12
Calls
4 calls:
957.0ms
(/ (/ (/ 2.0 (* (/ (pow t 3.0) (* l l)) (sin k))) (fma 2 1.0 (pow (/ k t) 2.0))) (tan k))
285.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
587.0ms
(/ (/ 2.0 (* (/ (pow t 3.0) (* l l)) (sin k))) (fma 2 1.0 (pow (/ k t) 2.0)))
205.0ms
(/ (pow t 3.0) (* l l))

simplify693.0ms

Counts
294 → 294
Iterations

Useful iterations: done (681.0ms)

IterNodesCost
05549148
114988883
done50008246

prune1.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 20.6b

localize50.0ms

Local error

Found 4 expressions with local error:

2.4b
(/ (/ (/ 2.0 (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k))) (fma 2 1.0 (pow (/ k t) 2.0))) (tan k))
5.3b
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k))
7.3b
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
12.2b
(/ (/ 2.0 (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k))) (fma 2 1.0 (pow (/ k t) 2.0)))

rewrite365.0ms

Algorithm
rewrite-expression-head
Rules
395×add-exp-log
315×times-frac
211×div-exp
137×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
136×prod-exp
99×add-cbrt-cube
68×associate-*l/
49×associate-/r/ associate-/l*
47×cbrt-undiv
41×pow-exp
28×pow-to-exp
27×cbrt-unprod
23×div-inv
17×frac-times associate-*r/
9×pow1 associate-/r*
4×expm1-log1p-u unpow-prod-down log1p-expm1-u add-log-exp sqr-pow
3×frac-2neg associate-*r* pow-prod-down clear-num
2×associate-/l/
1×tan-quot associate-*l* *-commutative
Counts
4 → 356
Calls
4 calls:
135.0ms
(/ (/ (/ 2.0 (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k))) (fma 2 1.0 (pow (/ k t) 2.0))) (tan k))
88.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k))
10.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
101.0ms
(/ (/ 2.0 (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k))) (fma 2 1.0 (pow (/ k t) 2.0)))

series2.7s

Counts
4 → 12
Calls
4 calls:
1.2s
(/ (/ (/ 2.0 (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k))) (fma 2 1.0 (pow (/ k t) 2.0))) (tan k))
449.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k))
337.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
774.0ms
(/ (/ 2.0 (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k))) (fma 2 1.0 (pow (/ k t) 2.0)))

simplify1.0s

Counts
368 → 368
Iterations

Useful iterations: done (1.0s)

IterNodesCost
069515096
1185914629
done500013367

prune3.0s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 17.4b

localize106.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (cbrt t) 3.0)
2.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))) (fma 2 1.0 (pow (/ k t) 2.0))) (tan k))
5.3b
(* (* (/ (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))
12.2b
(/ (/ 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))) (fma 2 1.0 (pow (/ k t) 2.0)))

rewrite700.0ms

Algorithm
rewrite-expression-head
Rules
1764×add-exp-log
1055×div-exp
615×prod-exp
300×times-frac
280×pow-exp
172×pow-to-exp
140×add-cbrt-cube
130×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
71×cbrt-undiv
68×associate-*l/
49×associate-/r/
44×associate-/l*
39×cbrt-unprod
22×div-inv
17×frac-times associate-*r/
10×pow1
6×unpow-prod-down associate-/r*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod pow-unpow associate-*r* pow-prod-down
2×pow-pow frac-2neg clear-num associate-/l/
1×tan-quot pow1/3 associate-*l* *-commutative sqr-pow
Counts
4 → 537
Calls
4 calls:
4.0ms
(pow (cbrt t) 3.0)
236.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))) (fma 2 1.0 (pow (/ k t) 2.0))) (tan k))
207.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))
159.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))) (fma 2 1.0 (pow (/ k t) 2.0)))

series3.0s

Counts
4 → 12
Calls
4 calls:
418.0ms
(pow (cbrt t) 3.0)
986.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))) (fma 2 1.0 (pow (/ k t) 2.0))) (tan k))
414.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))
1.2s
(/ (/ 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))) (fma 2 1.0 (pow (/ k t) 2.0)))

simplify1.4s

Counts
549 → 549
Iterations

Useful iterations: done (1.3s)

IterNodesCost
085529047
1263927989
done500025071

prune3.0s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 15.0b

localize78.0ms

Local error

Found 4 expressions with local error:

2.4b
(/ (/ (/ 2.0 (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (cbrt t) 3.0) l)) (sin k))) (/ (fma 2 1.0 (pow (/ k t) 2.0)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2))))) (tan k))
5.9b
(/ (fma 2 1.0 (pow (/ k t) 2.0)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2))))
6.2b
(* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (cbrt t) 3.0) l)) (sin k))
10.2b
(/ (/ 2.0 (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (cbrt t) 3.0) l)) (sin k))) (/ (fma 2 1.0 (pow (/ k t) 2.0)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
9215×times-frac
3116×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
1698×add-exp-log
1066×div-exp
520×prod-exp
512×associate-/l*
486×div-inv
381×unpow-prod-down sqr-pow
359×associate-/r/
312×associate-*r/ associate-*l/
234×pow-exp
185×add-cbrt-cube
143×pow-to-exp
110×cbrt-undiv
84×associate-/r*
35×cbrt-unprod
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg associate-*r* clear-num
2×associate-/l/
1×tan-quot associate-*l* pow-prod-down *-commutative
Counts
4 → 2996
Calls
4 calls:
322.0ms
(/ (/ (/ 2.0 (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (cbrt t) 3.0) l)) (sin k))) (/ (fma 2 1.0 (pow (/ k t) 2.0)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2))))) (tan k))
33.0ms
(/ (fma 2 1.0 (pow (/ k t) 2.0)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2))))
76.0ms
(* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (cbrt t) 3.0) l)) (sin k))
186.0ms
(/ (/ 2.0 (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (cbrt t) 3.0) l)) (sin k))) (/ (fma 2 1.0 (pow (/ k t) 2.0)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))))

series2.8s

Counts
4 → 12
Calls
4 calls:
1.1s
(/ (/ (/ 2.0 (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (cbrt t) 3.0) l)) (sin k))) (/ (fma 2 1.0 (pow (/ k t) 2.0)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2))))) (tan k))
472.0ms
(/ (fma 2 1.0 (pow (/ k t) 2.0)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2))))
398.0ms
(* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (cbrt t) 3.0) l)) (sin k))
837.0ms
(/ (/ 2.0 (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (cbrt t) 3.0) l)) (sin k))) (/ (fma 2 1.0 (pow (/ k t) 2.0)) (/ l (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)))))

simplify2.7s

Counts
3008 → 3008
Iterations

Useful iterations: 0 (745.0ms)

IterNodesCost
05019210376
done5019210376

prune34.7s

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 13.3b

regimes1.5s

Accuracy

0% (2.7b remaining)

Error of 15.6b against oracle of 13.0b and baseline of 15.6b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02545
12745
done2745

end0.0ms

sample11.1s

Algorithm
intervals
Results
4.9s1964×body1280valid
2.2s1747×body640valid
1.8s5990×body80valid
1.3s857×body320valid
253.0ms429×body160valid