Details

Time bar (total: 21.3s)

sample369.0ms

Algorithm
intervals
Results
137.0ms85×body1280valid
126.0ms65×body2560valid
31.0ms63×body80valid
25.0ms32×body640valid
4.0ms8×body320valid
3.0ms1×body5120valid
1.0ms2×body160valid

simplify3.2s

Counts
1 → 1
Iterations

Useful iterations: 1 (8.0ms)

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 46.0b

localize30.0ms

Local error

Found 4 expressions with local error:

2.2b
(* (* (fma a 2.0 1.0) b) t)
2.5b
(* t (* (fma y 2.0 1.0) z))
35.1b
(cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))
36.6b
(cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))

rewrite84.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:
29.0ms
(* (* (fma a 2.0 1.0) b) t)
42.0ms
(* t (* (fma y 2.0 1.0) z))
6.0ms
(cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))
5.0ms
(cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))

series200.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(* (* (fma a 2.0 1.0) b) t)
51.0ms
(* t (* (fma y 2.0 1.0) z))
46.0ms
(cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))
44.0ms
(cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))

simplify810.0ms

Counts
70 → 70
Iterations

Useful iterations: done (808.0ms)

IterNodesCost
0118846
1265834
21256700
done5000688

prune572.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 41.4b

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0)) (* x 1))
0.2b
(/ (* (* (fma a 2.0 1.0) b) t) 16.0)
2.2b
(* (* (fma a 2.0 1.0) b) t)
36.6b
(cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
25×add-exp-log
23×add-cbrt-cube
14×pow1
11×prod-exp
9×cbrt-unprod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×pow-prod-down
4×expm1-log1p-u associate-*r* associate-*l* log1p-expm1-u add-log-exp
3×cbrt-undiv times-frac div-exp associate-/r*
2×*-commutative
1×frac-2neg 1-exp clear-num div-inv associate-/l*
Counts
4 → 75
Calls
4 calls:
22.0ms
(* (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0)) (* x 1))
23.0ms
(/ (* (* (fma a 2.0 1.0) b) t) 16.0)
37.0ms
(* (* (fma a 2.0 1.0) b) t)
4.0ms
(cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))

series359.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(* (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0)) (* x 1))
64.0ms
(/ (* (* (fma a 2.0 1.0) b) t) 16.0)
73.0ms
(* (* (fma a 2.0 1.0) b) t)
78.0ms
(cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))

simplify1.2s

Counts
87 → 87
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01451276
13581201
22377981
done5001975

prune402.0ms

Pruning

34 alts after pruning (34 fresh and 0 done)

Merged error: 39.3b

localize11.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

prune137.0ms

Pruning

34 alts after pruning (33 fresh and 1 done)

Merged error: 39.3b

localize35.0ms

Local error

Found 4 expressions with local error:

16.6b
(cbrt (* (* (fma a 2.0 1.0) b) t))
16.6b
(cbrt (* (* (fma a 2.0 1.0) b) t))
16.6b
(cbrt (* (* (fma a 2.0 1.0) b) t))
36.3b
(cos (/ (* (* (cbrt (* (* (fma a 2.0 1.0) b) t)) (cbrt (* (* (fma a 2.0 1.0) b) t))) (cbrt (* (* (fma a 2.0 1.0) b) t))) 16.0))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3
Counts
4 → 42
Calls
4 calls:
26.0ms
(cbrt (* (* (fma a 2.0 1.0) b) t))
19.0ms
(cbrt (* (* (fma a 2.0 1.0) b) t))
19.0ms
(cbrt (* (* (fma a 2.0 1.0) b) t))
6.0ms
(cos (/ (* (* (cbrt (* (* (fma a 2.0 1.0) b) t)) (cbrt (* (* (fma a 2.0 1.0) b) t))) (cbrt (* (* (fma a 2.0 1.0) b) t))) 16.0))

series614.0ms

Counts
4 → 12
Calls
4 calls:
199.0ms
(cbrt (* (* (fma a 2.0 1.0) b) t))
177.0ms
(cbrt (* (* (fma a 2.0 1.0) b) t))
179.0ms
(cbrt (* (* (fma a 2.0 1.0) b) t))
58.0ms
(cos (/ (* (* (cbrt (* (* (fma a 2.0 1.0) b) t)) (cbrt (* (* (fma a 2.0 1.0) b) t))) (cbrt (* (* (fma a 2.0 1.0) b) t))) 16.0))

simplify1.1s

Counts
54 → 54
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01011373
12111337
25811021
32483916
done5002847

prune307.0ms

Pruning

41 alts after pruning (40 fresh and 1 done)

Merged error: 39.1b

regimes1.6s

Accuracy

0% (4.5b remaining)

Error of 44.0b against oracle of 39.4b and baseline of 44.0b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 2 (3.0ms)

IterNodesCost
088
1114
2131
done131

end0.0ms

sample10.1s

Algorithm
intervals
Results
4.0s1782×body2560valid
3.0s2230×body1280valid
1.1s1207×body640valid
655.0ms1950×body80valid
340.0ms541×body320valid
183.0ms43×body5120valid
114.0ms247×body160valid