Details

Time bar (total: 21.5s)

sample549.0ms

Algorithm
intervals
Results
417.0ms59×body2560valid
57.0ms66×body1280valid
19.0ms35×body640valid
8.0ms68×body80valid
6.0ms17×body320valid
5.0ms2×body5120valid
2.0ms9×body160valid

simplify3.4s

Counts
1 → 1
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
02327
14425
210125
323425
450725
591025
6124325
7145325
8155125
9174225
10177825
done177825

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 44.5b

localize38.0ms

Local error

Found 4 expressions with local error:

2.7b
(* (* (fma a 2.0 1.0) b) t)
3.6b
(* t (* (fma y 2.0 1.0) z))
32.3b
(cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))
33.9b
(cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-exp-log add-cbrt-cube
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u associate-*r* associate-*l* log1p-expm1-u add-log-exp
2×*-commutative
Counts
4 → 58
Calls
4 calls:
26.0ms
(* (* (fma a 2.0 1.0) b) t)
17.0ms
(* t (* (fma y 2.0 1.0) z))
4.0ms
(cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))
4.0ms
(cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))

series218.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(* (* (fma a 2.0 1.0) b) t)
62.0ms
(* t (* (fma y 2.0 1.0) z))
45.0ms
(cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))
44.0ms
(cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))

simplify888.0ms

Counts
70 → 70
Iterations

Useful iterations: done (885.0ms)

IterNodesCost
0118846
1265834
21236694
done5001684

prune565.0ms

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 40.1b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (fma y 2.0 1.0) z)
0.1b
(* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))
3.6b
(* t (* (fma y 2.0 1.0) z))
33.9b
(cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1 add-exp-log add-sqr-sqrt add-cbrt-cube
9×add-cube-cbrt *-un-lft-identity associate-*l*
7×associate-*r*
5×pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×*-commutative
2×unswap-sqr
Counts
4 → 69
Calls
4 calls:
7.0ms
(* (fma y 2.0 1.0) z)
14.0ms
(* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))
17.0ms
(* t (* (fma y 2.0 1.0) z))
4.0ms
(cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))

series222.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(* (fma y 2.0 1.0) z)
79.0ms
(* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))
58.0ms
(* t (* (fma y 2.0 1.0) z))
42.0ms
(cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))

simplify878.0ms

Counts
81 → 81
Iterations

Useful iterations: 2 (127.0ms)

IterNodesCost
01141008
1248992
21336834
done5001834

prune617.0ms

Pruning

39 alts after pruning (39 fresh and 0 done)

Merged error: 38.5b

localize5.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune197.0ms

Pruning

39 alts after pruning (38 fresh and 1 done)

Merged error: 38.5b

localize35.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (fma y 2.0 1.0))
0.3b
(cbrt (fma y 2.0 1.0))
3.6b
(* t (* (* (cbrt (fma y 2.0 1.0)) (cbrt (fma y 2.0 1.0))) (* (cbrt (fma y 2.0 1.0)) z)))
34.1b
(cos (/ (* t (* (* (cbrt (fma y 2.0 1.0)) (cbrt (fma y 2.0 1.0))) (* (cbrt (fma y 2.0 1.0)) z))) 16.0))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
22×pow1 add-exp-log
16×add-cbrt-cube
13×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×cbrt-prod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*l*
2×pow1/3
1×associate-*r* *-commutative
Counts
4 → 64
Calls
4 calls:
1.0ms
(cbrt (fma y 2.0 1.0))
1.0ms
(cbrt (fma y 2.0 1.0))
155.0ms
(* t (* (* (cbrt (fma y 2.0 1.0)) (cbrt (fma y 2.0 1.0))) (* (cbrt (fma y 2.0 1.0)) z)))
5.0ms
(cos (/ (* t (* (* (cbrt (fma y 2.0 1.0)) (cbrt (fma y 2.0 1.0))) (* (cbrt (fma y 2.0 1.0)) z))) 16.0))

series414.0ms

Counts
4 → 12
Calls
4 calls:
159.0ms
(cbrt (fma y 2.0 1.0))
165.0ms
(cbrt (fma y 2.0 1.0))
48.0ms
(* t (* (* (cbrt (fma y 2.0 1.0)) (cbrt (fma y 2.0 1.0))) (* (cbrt (fma y 2.0 1.0)) z)))
42.0ms
(cos (/ (* t (* (* (cbrt (fma y 2.0 1.0)) (cbrt (fma y 2.0 1.0))) (* (cbrt (fma y 2.0 1.0)) z))) 16.0))

simplify936.0ms

Counts
76 → 76
Iterations

Useful iterations: done (933.0ms)

IterNodesCost
01571715
13971660
215521070
done5000840

prune393.0ms

Pruning

50 alts after pruning (48 fresh and 2 done)

Merged error: 38.1b

regimes2.1s

Accuracy

0% (5.8b remaining)

Error of 45.4b against oracle of 39.6b and baseline of 45.4b

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 3 (6.0ms)

IterNodesCost
02031
12529
22628
32926
done2926

end0.0ms

sample9.8s

Algorithm
intervals
Results
4.3s1856×body2560valid
2.7s2246×body1280valid
1.3s1153×body640valid
330.0ms1908×body80valid
319.0ms557×body320valid
176.0ms46×body5120valid
105.0ms234×body160valid