Details

Time bar (total: 30.6s)

sample198.0ms

Algorithm
intervals
Results
120.0ms599×body80valid

simplify3.2s

Counts
1 → 1
Iterations
IterNodes
done5000
52724
4907
3333
2110
147
023

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.8b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite54.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:
13.0ms
(- (* z y) (* t a))
0.0ms
(fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x))
1.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))
38.0ms
(* (- (* z y) (* t a)) x)

series1.3s

Counts
4 → 12
Calls
4 calls:
63.0ms
(- (* z y) (* t a))
341.0ms
(fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x))
819.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))
112.0ms
(* (- (* z y) (* t a)) x)

simplify2.3s

Counts
70 → 70
Iterations
IterNodes
done5015
32778
2713
1250
0110

prune776.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 5.2b

localize72.0ms

Local error

Found 4 expressions with local error:

7.6b
(* (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (cbrt (- (* z y) (* t a)))) x)
10.0b
(cbrt (- (* z y) (* t a)))
10.0b
(cbrt (- (* z y) (* t a)))
10.0b
(cbrt (- (* z y) (* t a)))

rewrite285.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
40×associate-*l/
30×flip3-- flip--
28×frac-times
13×pow1 add-exp-log
9×cbrt-prod add-cbrt-cube
8×add-sqr-sqrt *-un-lft-identity associate-*r/ add-cube-cbrt
6×pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*r*
1×associate-*l* *-commutative
Counts
4 → 94
Calls
4 calls:
268.0ms
(* (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (cbrt (- (* z y) (* t a)))) x)
4.0ms
(cbrt (- (* z y) (* t a)))
4.0ms
(cbrt (- (* z y) (* t a)))
4.0ms
(cbrt (- (* z y) (* t a)))

series676.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(* (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (cbrt (- (* z y) (* t a)))) x)
182.0ms
(cbrt (- (* z y) (* t a)))
204.0ms
(cbrt (- (* z y) (* t a)))
191.0ms
(cbrt (- (* z y) (* t a)))

simplify3.0s

Counts
106 → 106
Iterations
IterNodes
done5001
34058
21274
1436
0176

prune1.2s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 5.2b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite68.0ms

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

series2.2s

Counts
4 → 12
Calls
4 calls:
557.0ms
(* (cbrt x) (* (cbrt x) (- (* z y) (* t a))))
405.0ms
(fma (- (* i a) (* z c)) b (* (* (cbrt x) (* (cbrt x) (- (* z y) (* t a)))) (cbrt x)))
419.0ms
(* (cbrt x) (- (* z y) (* t a)))
849.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (* (cbrt x) (* (cbrt x) (- (* z y) (* t a)))) (cbrt x))))

simplify1.9s

Counts
101 → 101
Iterations
IterNodes
done5002
21530
1457
0174

prune1.2s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 5.2b

localize112.0ms

Local error

Found 4 expressions with local error:

4.1b
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* 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)

rewrite103.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 (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))
34.0ms
(* (- (* z y) (* t a)) x)
36.0ms
(* (- (* z y) (* t a)) x)
29.0ms
(* (- (* z y) (* t a)) x)

series1.0s

Counts
4 → 12
Calls
4 calls:
788.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))
74.0ms
(* (- (* z y) (* t a)) x)
72.0ms
(* (- (* z y) (* t a)) x)
90.0ms
(* (- (* z y) (* t a)) x)

simplify2.3s

Counts
88 → 88
Iterations
IterNodes
done5024
32285
2565
1187
078

prune935.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 5.2b

regimes2.0s

Accuracy

2.9% (5.9b remaining)

Error of 12.1b against oracle of 6.2b and baseline of 12.3b

bsearch130.0ms

Steps
ItersRangePoint
8
2.9822712547633897e+140
1.3964040936500946e+145
9.24266791996483e+144

simplify7.0ms

Iterations
IterNodes
done45
145
033

end0.0ms

sample5.4s

Algorithm
intervals
Results
4.0s19112×body80valid