Details

Time bar (total: 29.8s)

sample112.0ms

Algorithm
intervals
Results
54.0ms479×body80valid

simplify6.8s

Counts
1 → 1
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
018369
133344
286319
3255319
4911319
52602319
64736319
done5000319

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.1b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* z t) (* i (* (fma b c a) c)))
0.0b
(fma y x (- (* z t) (* i (* (fma b c a) c))))
0.1b
(* (fma b c a) c)
11.0b
(* i (* (fma b c a) c))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1 add-cbrt-cube add-exp-log
9×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
6×associate-*l* add-log-exp
4×expm1-log1p-u associate-*r* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u
2×*-commutative
1×sub-neg flip3-- fma-neg diff-log prod-diff fma-udef flip-- unswap-sqr
Counts
4 → 66
Calls
4 calls:
7.0ms
(- (* z t) (* i (* (fma b c a) c)))
0.0ms
(fma y x (- (* z t) (* i (* (fma b c a) c))))
6.0ms
(* (fma b c a) c)
13.0ms
(* i (* (fma b c a) c))

series1.2s

Counts
4 → 12
Calls
4 calls:
252.0ms
(- (* z t) (* i (* (fma b c a) c)))
785.0ms
(fma y x (- (* z t) (* i (* (fma b c a) c))))
70.0ms
(* (fma b c a) c)
91.0ms
(* i (* (fma b c a) c))

simplify2.1s

Counts
78 → 78
Iterations

Useful iterations: done (2.1s)

IterNodesCost
011420081
126117640
290217280
done500016785

prune771.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.5b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* z t) (* (* i (fma b c a)) c))
0.0b
(fma y x (- (* z t) (* (* i (fma b c a)) c)))
1.8b
(* i (fma b c a))
3.6b
(* (* i (fma b c a)) c)

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1 add-cbrt-cube add-exp-log
9×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
6×associate-*r* add-log-exp
4×expm1-log1p-u associate-*l* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u
3×fma-udef
2×*-commutative
1×distribute-rgt-in sub-neg distribute-lft-in flip3-- fma-neg diff-log prod-diff flip-- unswap-sqr
Counts
4 → 68
Calls
4 calls:
7.0ms
(- (* z t) (* (* i (fma b c a)) c))
0.0ms
(fma y x (- (* z t) (* (* i (fma b c a)) c)))
7.0ms
(* i (fma b c a))
27.0ms
(* (* i (fma b c a)) c)

series1.2s

Counts
4 → 12
Calls
4 calls:
183.0ms
(- (* z t) (* (* i (fma b c a)) c))
833.0ms
(fma y x (- (* z t) (* (* i (fma b c a)) c)))
76.0ms
(* i (fma b c a))
71.0ms
(* (* i (fma b c a)) c)

simplify1.9s

Counts
80 → 80
Iterations

Useful iterations: done (1.9s)

IterNodesCost
012019660
127917666
293317491
done500117266

prune700.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize69.0ms

Local error

Found 4 expressions with local error:

3.6b
(* (* i (fma b c a)) c)
9.8b
(cbrt (* (* i (fma b c a)) c))
9.8b
(cbrt (* (* i (fma b c a)) c))
9.8b
(cbrt (* (* i (fma b c a)) c))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-cbrt-cube add-exp-log
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3 associate-*r* pow-prod-down prod-exp cbrt-unprod
1×associate-*l* *-commutative
Counts
4 → 53
Calls
4 calls:
14.0ms
(* (* i (fma b c a)) c)
18.0ms
(cbrt (* (* i (fma b c a)) c))
17.0ms
(cbrt (* (* i (fma b c a)) c))
11.0ms
(cbrt (* (* i (fma b c a)) c))

series644.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(* (* i (fma b c a)) c)
192.0ms
(cbrt (* (* i (fma b c a)) c))
195.0ms
(cbrt (* (* i (fma b c a)) c))
199.0ms
(cbrt (* (* i (fma b c a)) c))

simplify3.1s

Counts
65 → 65
Iterations

Useful iterations: done (3.0s)

IterNodesCost
08918283
122117487
267617082
3324416322
done500916112

prune936.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.1b

localize117.0ms

Local error

Found 4 expressions with local error:

3.6b
(* (* i (fma b c a)) c)
7.0b
(cbrt (* i (fma b c a)))
9.8b
(cbrt (* (* i (fma b c a)) c))
9.8b
(cbrt (* (* i (fma b c a)) c))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-cbrt-cube add-exp-log
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3 associate-*r* pow-prod-down prod-exp cbrt-unprod
1×associate-*l* *-commutative
Counts
4 → 53
Calls
4 calls:
15.0ms
(* (* i (fma b c a)) c)
3.0ms
(cbrt (* i (fma b c a)))
16.0ms
(cbrt (* (* i (fma b c a)) c))
19.0ms
(cbrt (* (* i (fma b c a)) c))

series705.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(* (* i (fma b c a)) c)
210.0ms
(cbrt (* i (fma b c a)))
231.0ms
(cbrt (* (* i (fma b c a)) c))
203.0ms
(cbrt (* (* i (fma b c a)) c))

simplify3.7s

Counts
65 → 65
Iterations

Useful iterations: done (3.7s)

IterNodesCost
011217809
127217063
278616633
3351715913
done500115691

prune776.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.1b

regimes1.7s

Accuracy

72.4% (1.5b remaining)

Error of 1.5b against oracle of 0.0b and baseline of 5.5b

bsearch204.0ms

Steps
ItersRangePoint
10
8.722653903301618e+16
6.530330212554537e+31
1.2025014898791856e+17
8
-3.381147507839506e+65
-6.557699029494955e+60
-6.753357285253371e+60

simplify15.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
031971
148971
256971
done56971

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.8s15034×body80valid