Details

Time bar (total: 26.0s)

sample107.0ms

Algorithm
intervals
Results
57.0ms599×body80valid

simplify2.2s

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

prune38.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.8b

localize53.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* a i) (* z c))
4.0b
(fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x))
4.1b
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x)))
7.6b
(* (- (* z y) (* t a)) x)

rewrite41.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×flip3-- associate-*l/ fma-udef flip--
1×sub-neg fma-neg diff-log prod-diff pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 58
Calls
4 calls:
10.0ms
(- (* a i) (* z c))
1.0ms
(fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x))
0.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x)))
28.0ms
(* (- (* z y) (* t a)) x)

series1.1s

Counts
4 → 12
Calls
4 calls:
44.0ms
(- (* a i) (* z c))
293.0ms
(fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x))
646.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x)))
87.0ms
(* (- (* z y) (* t a)) x)

simplify1.1s

Counts
70 → 70
Iterations
IterNodes
done5001
21019
1293
0120

prune800.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 8.1b

localize51.0ms

Local error

Found 4 expressions with local error:

1.3b
(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))
4.0b
(fma b (- (* a i) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)))
4.1b
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
6.6b
(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))

rewrite117.0ms

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

series1.7s

Counts
4 → 12
Calls
4 calls:
154.0ms
(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))
477.0ms
(fma b (- (* a i) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)))
787.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
274.0ms
(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))

simplify1.5s

Counts
83 → 83
Iterations
IterNodes
done5000
21688
1365
0144

prune891.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 3.7b

localize71.0ms

Local error

Found 4 expressions with local error:

2.7b
(* (* (- (* z y) (* t a)) (cbrt x)) (cbrt x))
4.0b
(fma b (- (* a i) (* z c)) (* (* (* (- (* z y) (* t a)) (cbrt x)) (cbrt x)) (cbrt x)))
4.0b
(* (- (* z y) (* t a)) (cbrt x))
4.1b
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (* (- (* z y) (* t a)) (cbrt x)) (cbrt x)) (cbrt x))))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
12×associate-*r*
11×pow1 add-exp-log
9×*-un-lft-identity add-cube-cbrt
7×cbrt-prod add-cbrt-cube
6×associate-*l/
4×expm1-log1p-u associate-*l* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u add-log-exp
2×flip3-- *-commutative fma-udef flip-- unswap-sqr
Counts
4 → 71
Calls
4 calls:
60.0ms
(* (* (- (* z y) (* t a)) (cbrt x)) (cbrt x))
0.0ms
(fma b (- (* a i) (* z c)) (* (* (* (- (* z y) (* t a)) (cbrt x)) (cbrt x)) (cbrt x)))
31.0ms
(* (- (* z y) (* t a)) (cbrt x))
0.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (* (- (* z y) (* t a)) (cbrt x)) (cbrt x)) (cbrt x))))

series1.9s

Counts
4 → 12
Calls
4 calls:
271.0ms
(* (* (- (* z y) (* t a)) (cbrt x)) (cbrt x))
398.0ms
(fma b (- (* a i) (* z c)) (* (* (* (- (* z y) (* t a)) (cbrt x)) (cbrt x)) (cbrt x)))
265.0ms
(* (- (* z y) (* t a)) (cbrt x))
924.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (* (- (* z y) (* t a)) (cbrt x)) (cbrt x)) (cbrt x))))

simplify1.2s

Counts
83 → 83
Iterations
IterNodes
done5002
21805
1387
0152

prune989.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 3.7b

localize161.0ms

Local error

Found 4 expressions with local error:

4.1b
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x)))
7.6b
(* (- (* z y) (* t a)) x)
7.6b
(* (- (* z y) (* t a)) x)
7.6b
(* (- (* z y) (* t a)) x)

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
9×associate-*r* associate-*l*
6×associate-*l/
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod flip-- unswap-sqr
1×fma-udef
Counts
4 → 76
Calls
4 calls:
0.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x)))
28.0ms
(* (- (* z y) (* t a)) x)
28.0ms
(* (- (* z y) (* t a)) x)
34.0ms
(* (- (* z y) (* t a)) x)

series1.1s

Counts
4 → 12
Calls
4 calls:
809.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x)))
99.0ms
(* (- (* z y) (* t a)) x)
92.0ms
(* (- (* z y) (* t a)) x)
95.0ms
(* (- (* z y) (* t a)) x)

simplify2.1s

Counts
88 → 88
Iterations
IterNodes
done5000
33585
2598
1187
078

prune977.0ms

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 3.7b

regimes2.5s

Accuracy

26.6% (5.4b remaining)

Error of 10.3b against oracle of 4.9b and baseline of 12.3b

bsearch369.0ms

Steps
ItersRangePoint
8
2.9822712547633897e+140
1.3964040936500946e+145
3.0616716916657557e+144
9
-8.131740845437404e+96
-2.0152851697206316e+89
-4.0495905768857324e+94

simplify8.0ms

Iterations
IterNodes
done55
155
038

end0.0ms

sample5.0s

Algorithm
intervals
Results
3.6s19112×body80valid