Details

Time bar (total: 27.5s)

sample123.0ms

Algorithm
intervals
Results
68.0ms599×body80valid

simplify2.0s

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

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.8b

localize54.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)

rewrite48.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:
15.0ms
(- (* a i) (* z c))
0.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)))
30.0ms
(* (- (* z y) (* t a)) x)

series1.1s

Counts
4 → 12
Calls
4 calls:
53.0ms
(- (* a i) (* z c))
249.0ms
(fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x))
709.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x)))
79.0ms
(* (- (* z y) (* t a)) x)

simplify986.0ms

Counts
70 → 70
Iterations
IterNodes
done5001
21019
1293
0120

prune846.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 8.1b

localize57.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)))

rewrite154.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:
105.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))))
47.0ms
(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))

series1.7s

Counts
4 → 12
Calls
4 calls:
184.0ms
(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))
369.0ms
(fma b (- (* a i) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)))
819.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
290.0ms
(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))

simplify1.3s

Counts
83 → 83
Iterations
IterNodes
done5000
21688
1365
0144

prune846.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 3.7b

localize83.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))))

rewrite104.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:
65.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)))
35.0ms
(* (- (* z y) (* t a)) (cbrt x))
1.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:
339.0ms
(* (* (- (* z y) (* t a)) (cbrt x)) (cbrt x))
360.0ms
(fma b (- (* a i) (* z c)) (* (* (* (- (* z y) (* t a)) (cbrt x)) (cbrt x)) (cbrt x)))
213.0ms
(* (- (* z y) (* t a)) (cbrt x))
958.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (* (- (* z y) (* t a)) (cbrt x)) (cbrt x)) (cbrt x))))

simplify1.3s

Counts
83 → 83
Iterations
IterNodes
done5002
21805
1387
0152

prune1.2s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 3.7b

localize190.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)

rewrite428.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)))
22.0ms
(* (- (* z y) (* t a)) x)
21.0ms
(* (- (* z y) (* t a)) x)
383.0ms
(* (- (* z y) (* t a)) x)

series1.2s

Counts
4 → 12
Calls
4 calls:
863.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x)))
109.0ms
(* (- (* z y) (* t a)) x)
109.0ms
(* (- (* z y) (* t a)) x)
127.0ms
(* (- (* z y) (* t a)) x)

simplify2.4s

Counts
88 → 88
Iterations
IterNodes
done5000
33585
2598
1187
078

prune1.2s

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 3.7b

regimes2.6s

Accuracy

26.6% (5.4b remaining)

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

bsearch389.0ms

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

simplify16.0ms

Iterations
IterNodes
done55
155
038

end0.0ms

sample5.4s

Algorithm
intervals
Results
4.0s19112×body80valid