Details

Time bar (total: 26.8s)

sample163.0ms

Algorithm
intervals
Results
119.0ms641×body80valid

simplify1.1s

Counts
1 → 1

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.1b

localize38.0ms

Local error

Found 4 expressions with local error:

5.4b
(* (- (* z y) (* t a)) x)
4.9b
(fma (- (* t c) (* y i)) j (* (- (* z y) (* t a)) x))
4.2b
(fma (- (* i a) (* z c)) b (fma (- (* t c) (* y i)) j (* (- (* z y) (* t a)) x)))
0.0b
(- (* i a) (* z c))

rewrite39.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 insert-posit16 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 → 62
Calls
4 calls:
Slowest
29.0ms
(* (- (* z y) (* t a)) x)
9.0ms
(- (* i a) (* z c))
0.0ms
(fma (- (* i a) (* z c)) b (fma (- (* t c) (* y i)) j (* (- (* z y) (* t a)) x)))
0.0ms
(fma (- (* t c) (* y i)) j (* (- (* z y) (* t a)) x))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
701.0ms
(fma (- (* i a) (* z c)) b (fma (- (* t c) (* y i)) j (* (- (* z y) (* t a)) x)))
260.0ms
(fma (- (* t c) (* y i)) j (* (- (* z y) (* t a)) x))
70.0ms
(* (- (* z y) (* t a)) x)
66.0ms
(- (* i a) (* z c))

simplify973.0ms

Counts
74 → 74

prune1.3s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 4.5b

localize54.0ms

Local error

Found 4 expressions with local error:

6.0b
(cbrt (- (* z y) (* t a)))
6.0b
(cbrt (- (* z y) (* t a)))
6.0b
(cbrt (- (* z y) (* t a)))
4.9b
(fma (- (* t c) (* y i)) j (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×cbrt-div
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×flip3-- pow1/3 flip--
1×fma-udef
Counts
4 → 59
Calls
4 calls:
Slowest
6.0ms
(cbrt (- (* z y) (* t a)))
5.0ms
(cbrt (- (* z y) (* t a)))
5.0ms
(cbrt (- (* z y) (* t a)))
0.0ms
(fma (- (* t c) (* y i)) j (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x)))

series588.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
224.0ms
(fma (- (* t c) (* y i)) j (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x)))
124.0ms
(cbrt (- (* z y) (* t a)))
121.0ms
(cbrt (- (* z y) (* t a)))
119.0ms
(cbrt (- (* z y) (* t a)))

simplify682.0ms

Counts
71 → 71

prune1.4s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 4.4b

localize79.0ms

Local error

Found 4 expressions with local error:

5.4b
(* (- (* z y) (* t a)) x)
5.1b
(cbrt (- (* i a) (* z c)))
5.1b
(cbrt (- (* i a) (* z c)))
5.1b
(cbrt (- (* i a) (* z c)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod *-un-lft-identity add-cube-cbrt
6×pow1 cbrt-div add-cbrt-cube add-exp-log
4×expm1-log1p-u flip3-- insert-posit16 log1p-expm1-u flip-- add-log-exp
3×pow1/3 associate-*r* associate-*l*
2×associate-*l/
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 71
Calls
4 calls:
Slowest
22.0ms
(* (- (* z y) (* t a)) x)
6.0ms
(cbrt (- (* i a) (* z c)))
5.0ms
(cbrt (- (* i a) (* z c)))
5.0ms
(cbrt (- (* i a) (* z c)))

series554.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
175.0ms
(cbrt (- (* i a) (* z c)))
159.0ms
(cbrt (- (* i a) (* z c)))
147.0ms
(cbrt (- (* i a) (* z c)))
73.0ms
(* (- (* z y) (* t a)) x)

simplify1.5s

Counts
83 → 83

prune1.9s

Pruning

17 alts after pruning (15 fresh and 2 done)

Merged error: 4.4b

localize77.0ms

Local error

Found 4 expressions with local error:

4.9b
(fma (- (* t c) (* y i)) j (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)))
4.2b
(fma (- (* i a) (* z c)) b (fma (- (* t c) (* y i)) j (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
4.1b
(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))
1.6b
(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))

rewrite173.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* insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod
2×flip3-- *-commutative fma-udef flip--
1×unswap-sqr
Counts
4 → 75
Calls
4 calls:
Slowest
117.0ms
(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))
54.0ms
(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))
0.0ms
(fma (- (* t c) (* y i)) j (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)))
0.0ms
(fma (- (* i a) (* z c)) b (fma (- (* t c) (* y i)) j (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))

series1.8s

Counts
4 → 12
Calls
4 calls:
Slowest
897.0ms
(fma (- (* i a) (* z c)) b (fma (- (* t c) (* y i)) j (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
423.0ms
(fma (- (* t c) (* y i)) j (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)))
313.0ms
(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))
120.0ms
(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))

simplify1.4s

Counts
87 → 87

prune1.9s

Pruning

17 alts after pruning (14 fresh and 3 done)

Merged error: 4.4b

regimes2.3s

Accuracy

7.7% (4.7b remaining)

Error of 11.7b against oracle of 7.1b and baseline of 12.1b

bsearch523.0ms

end0.0ms

sample7.1s

Algorithm
intervals
Results
5.6s19263×body80valid