Details

Time bar (total: 25.5s)

sample149.0ms

Algorithm
intervals
Results
74.0ms568×body80valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
done5001
41195
3333
2110
147
023

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.1b

localize52.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* t c) (* i y))
2.9b
(* (fma (- a) t (* z y)) x)
4.4b
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (fma (- a) t (* z y)) x)))
4.6b
(fma b (- (* a i) (* z c)) (* (fma (- a) t (* z y)) x))

rewrite14.0ms

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

series1.4s

Counts
4 → 12
Calls
4 calls:
56.0ms
(- (* t c) (* i y))
120.0ms
(* (fma (- a) t (* z y)) x)
826.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (fma (- a) t (* z y)) x)))
352.0ms
(fma b (- (* a i) (* z c)) (* (fma (- a) t (* z y)) x))

simplify2.0s

Counts
68 → 68
Iterations
IterNodes
done5000
33852
2746
1249
0112

prune743.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 8.4b

localize87.0ms

Local error

Found 4 expressions with local error:

4.3b
(cbrt (fma (- a) t (* z y)))
4.3b
(cbrt (fma (- a) t (* z y)))
4.4b
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (cbrt (fma (- a) t (* z y)))))))
4.6b
(fma b (- (* a i) (* z c)) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (cbrt (fma (- a) t (* z y))))))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u add-log-exp
2×pow1/3 fma-udef
Counts
4 → 46
Calls
4 calls:
1.0ms
(cbrt (fma (- a) t (* z y)))
1.0ms
(cbrt (fma (- a) t (* z y)))
0.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (cbrt (fma (- a) t (* z y)))))))
0.0ms
(fma b (- (* a i) (* z c)) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (cbrt (fma (- a) t (* z y))))))

series1.6s

Counts
4 → 12
Calls
4 calls:
261.0ms
(cbrt (fma (- a) t (* z y)))
222.0ms
(cbrt (fma (- a) t (* z y)))
749.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (cbrt (fma (- a) t (* z y)))))))
348.0ms
(fma b (- (* a i) (* z c)) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (cbrt (fma (- a) t (* z y))))))

simplify823.0ms

Counts
58 → 58
Iterations
IterNodes
done5001
31717
2479
1212
0104

prune831.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 4.4b

localize66.0ms

Local error

Found 4 expressions with local error:

4.6b
(fma b (- (* a i) (* z c)) (* (fma (- a) t (* z y)) x))
7.2b
(cbrt (fma i (- y) (* t c)))
7.2b
(cbrt (fma i (- y) (* t c)))
7.2b
(cbrt (fma i (- y) (* t c)))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u add-log-exp
3×pow1/3
1×fma-udef
Counts
4 → 49
Calls
4 calls:
0.0ms
(fma b (- (* a i) (* z c)) (* (fma (- a) t (* z y)) x))
1.0ms
(cbrt (fma i (- y) (* t c)))
1.0ms
(cbrt (fma i (- y) (* t c)))
1.0ms
(cbrt (fma i (- y) (* t c)))

series1.0s

Counts
4 → 12
Calls
4 calls:
322.0ms
(fma b (- (* a i) (* z c)) (* (fma (- a) t (* z y)) x))
225.0ms
(cbrt (fma i (- y) (* t c)))
210.0ms
(cbrt (fma i (- y) (* t c)))
248.0ms
(cbrt (fma i (- y) (* t c)))

simplify758.0ms

Counts
61 → 61
Iterations
IterNodes
done5001
31460
2413
1178
087

prune919.0ms

Pruning

17 alts after pruning (15 fresh and 2 done)

Merged error: 4.4b

localize108.0ms

Local error

Found 4 expressions with local error:

4.3b
(cbrt (fma (- a) t (* y z)))
4.3b
(cbrt (fma (- a) t (* y z)))
4.4b
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (* (cbrt (* (cbrt (fma (- a) t (* y z))) (cbrt (fma (- a) t (* y z))))) (cbrt (cbrt (fma (- a) t (* y z)))))))))
4.6b
(fma b (- (* a i) (* z c)) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (* (cbrt (* (cbrt (fma (- a) t (* y z))) (cbrt (fma (- a) t (* y z))))) (cbrt (cbrt (fma (- a) t (* y z))))))))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u add-log-exp
2×pow1/3 fma-udef
Counts
4 → 46
Calls
4 calls:
1.0ms
(cbrt (fma (- a) t (* y z)))
1.0ms
(cbrt (fma (- a) t (* y z)))
0.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (* (cbrt (* (cbrt (fma (- a) t (* y z))) (cbrt (fma (- a) t (* y z))))) (cbrt (cbrt (fma (- a) t (* y z)))))))))
0.0ms
(fma b (- (* a i) (* z c)) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (* (cbrt (* (cbrt (fma (- a) t (* y z))) (cbrt (fma (- a) t (* y z))))) (cbrt (cbrt (fma (- a) t (* y z))))))))

series2.2s

Counts
4 → 12
Calls
4 calls:
272.0ms
(cbrt (fma (- a) t (* y z)))
256.0ms
(cbrt (fma (- a) t (* y z)))
828.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (* (cbrt (* (cbrt (fma (- a) t (* y z))) (cbrt (fma (- a) t (* y z))))) (cbrt (cbrt (fma (- a) t (* y z)))))))))
798.0ms
(fma b (- (* a i) (* z c)) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (* (cbrt (* (cbrt (fma (- a) t (* y z))) (cbrt (fma (- a) t (* y z))))) (cbrt (cbrt (fma (- a) t (* y z))))))))

simplify931.0ms

Counts
58 → 58
Iterations
IterNodes
done5000
31921
2520
1221
0109

prune965.0ms

Pruning

18 alts after pruning (15 fresh and 3 done)

Merged error: 4.4b

regimes2.5s

Accuracy

25.9% (4.8b remaining)

Error of 11.0b against oracle of 6.2b and baseline of 12.7b

bsearch276.0ms

Steps
ItersRangePoint
7
1.592791795965319e+82
3.657754691391164e+84
2.2757915923816235e+83
6
-5.857527842082222e+82
-9.86309217858822e+81
-1.4072946553373634e+82

simplify8.0ms

Iterations
IterNodes
done64
364
262
155
038

end0.0ms

sample6.3s

Algorithm
intervals
Results
4.1s19330×body80valid