Details

Time bar (total: 55.6s)

sample205.0ms

Algorithm
intervals
Results
147.0ms584×body80valid

simplify401.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
400.0ms
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))

prune39.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.8b

localize75.0ms

Local error

Found 4 expressions with local error:

6.8b
(* (- (* z c) (* i a)) b)
5.8b
(* (- (* z y) (* t a)) x)
3.6b
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
0.5b
(- (* z c) (* i a))

rewrite503.0ms

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

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
823.0ms
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
98.0ms
(* (- (* z c) (* i a)) b)
94.0ms
(* (- (* z y) (* t a)) x)
83.0ms
(- (* z c) (* i a))

simplify3.7s

Counts
37 → 86
Calls
37 calls:
Slowest
519.0ms
(* (* (* (- (* z y) (* t a)) (- (* z y) (* t a))) (- (* z y) (* t a))) (* (* x x) x))
501.0ms
(* (* (* (- (* z c) (* i a)) (- (* z c) (* i a))) (- (* z c) (* i a))) (* (* b b) b))
299.0ms
(- (* a (* i b)) (+ (* z (* b c)) (* a (* x t))))
283.0ms
(- (* a (* i b)) (+ (* z (* b c)) (* a (* x t))))
225.0ms
(* (- (* (* z c) (* z c)) (* (* i a) (* i a))) b)

prune1.9s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 6.7b

localize88.0ms

Local error

Found 4 expressions with local error:

7.4b
(cbrt (- (* z y) (* t a)))
7.4b
(cbrt (- (* z y) (* t a)))
7.4b
(cbrt (- (* z y) (* t a)))
6.8b
(* (- (* z c) (* i a)) b)

rewrite73.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
39.0ms
(* (- (* z c) (* i a)) b)
12.0ms
(cbrt (- (* z y) (* t a)))
11.0ms
(cbrt (- (* z y) (* t a)))
11.0ms
(cbrt (- (* z y) (* t a)))

series714.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
227.0ms
(cbrt (- (* z y) (* t a)))
179.0ms
(cbrt (- (* z y) (* t a)))
179.0ms
(cbrt (- (* z y) (* t a)))
129.0ms
(* (- (* z c) (* i a)) b)

simplify6.1s

Counts
38 → 83
Calls
38 calls:
Slowest
509.0ms
(* (* (* (- (* z c) (* i a)) (- (* z c) (* i a))) (- (* z c) (* i a))) (* (* b b) b))
465.0ms
(cbrt (- (pow (* z y) 3) (pow (* t a) 3)))
421.0ms
(cbrt (- (pow (* z y) 3) (pow (* t a) 3)))
409.0ms
(cbrt (- (pow (* z y) 3) (pow (* t a) 3)))
348.0ms
(exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y)))))

prune2.1s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 6.7b

localize93.0ms

Local error

Found 4 expressions with local error:

8.4b
(cbrt (- (* z c) (* i a)))
8.4b
(cbrt (- (* z c) (* i a)))
8.4b
(cbrt (- (* z c) (* i a)))
6.8b
(* (* (* (cbrt (- (* z c) (* i a))) (cbrt (- (* z c) (* i a)))) (cbrt (- (* z c) (* i a)))) b)

rewrite412.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 insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 associate-*r*
1×associate-*l* *-commutative
Counts
4 → 98
Calls
4 calls:
Slowest
376.0ms
(* (* (* (cbrt (- (* z c) (* i a))) (cbrt (- (* z c) (* i a)))) (cbrt (- (* z c) (* i a)))) b)
11.0ms
(cbrt (- (* z c) (* i a)))
11.0ms
(cbrt (- (* z c) (* i a)))
11.0ms
(cbrt (- (* z c) (* i a)))

series648.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
207.0ms
(cbrt (- (* z c) (* i a)))
187.0ms
(cbrt (- (* z c) (* i a)))
160.0ms
(cbrt (- (* z c) (* i a)))
94.0ms
(* (* (* (cbrt (- (* z c) (* i a))) (cbrt (- (* z c) (* i a)))) (cbrt (- (* z c) (* i a)))) b)

simplify13.4s

Counts
65 → 110
Calls
65 calls:
Slowest
711.0ms
(* (* (* (- (* z c) (* i a)) (- (* z c) (* i a))) (- (* z c) (* i a))) (* (* b b) b))
624.0ms
(* (* (* (cbrt (- (* (* z c) (* z c)) (* (* i a) (* i a)))) (cbrt (- (* z c) (* i a)))) (cbrt (- (* z c) (* i a)))) b)
548.0ms
(* (* (* (* (* (cbrt (- (* z c) (* i a))) (cbrt (- (* z c) (* i a)))) (cbrt (- (* z c) (* i a)))) (* (* (cbrt (- (* z c) (* i a))) (cbrt (- (* z c) (* i a)))) (cbrt (- (* z c) (* i a))))) (* (* (cbrt (- (* z c) (* i a))) (cbrt (- (* z c) (* i a)))) (cbrt (- (* z c) (* i a))))) (* (* b b) b))
484.0ms
(cbrt (- (pow (* z c) 3) (pow (* i a) 3)))
440.0ms
(cbrt (- (pow (* z c) 3) (pow (* i a) 3)))

prune2.7s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 6.7b

localize75.0ms

Local error

Found 4 expressions with local error:

5.9b
(* (- (* z c) (* i a)) (* (cbrt b) (cbrt b)))
5.8b
(* (- (* z y) (* t a)) x)
3.6b
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))))
1.2b
(* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))

rewrite218.0ms

Algorithm
rewrite-expression-head
Rules
20×pow1 add-exp-log
13×add-cbrt-cube
12×add-sqr-sqrt
10×associate-*r* pow-prod-down prod-exp cbrt-unprod
9×*-un-lft-identity add-cube-cbrt
8×associate-*l/
7×associate-*l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod flip3-- *-commutative flip--
2×unswap-sqr
1×fma-udef
Counts
4 → 87
Calls
4 calls:
Slowest
128.0ms
(* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))
51.0ms
(* (- (* z c) (* i a)) (* (cbrt b) (cbrt b)))
36.0ms
(* (- (* z y) (* t a)) x)
1.0ms
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))))

series1.7s

Counts
4 → 12
Calls
4 calls:
Slowest
1.0s
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))))
378.0ms
(* (- (* z c) (* i a)) (* (cbrt b) (cbrt b)))
154.0ms
(* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))
124.0ms
(* (- (* z y) (* t a)) x)

simplify7.7s

Counts
54 → 99
Calls
54 calls:
Slowest
685.0ms
(* (* (* (* (- (* z c) (* i a)) (- (* z c) (* i a))) (- (* z c) (* i a))) (* b b)) b)
508.0ms
(* (* (* (- (* z y) (* t a)) (- (* z y) (* t a))) (- (* z y) (* t a))) (* (* x x) x))
488.0ms
(* (* (- (* (* z c) (* z c)) (* (* i a) (* i a))) (* (cbrt b) (cbrt b))) (cbrt b))
426.0ms
(* (* (* (- (* z c) (* i a)) (- (* z c) (* i a))) (- (* z c) (* i a))) (* b b))
417.0ms
(* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))

prune2.4s

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 6.6b

regimes2.3s

Accuracy

0% (4.4b remaining)

Error of 11.6b against oracle of 7.2b and baseline of 11.6b

bsearch5.0ms

end0.0ms

sample7.0s

Algorithm
intervals
Results
5.5s19089×body80valid