Details

Time bar (total: 43.5s)

sample215.0ms

Algorithm
intervals
Results
142.0ms592×body80valid

simplify684.0ms

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

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.9b

localize49.0ms

Local error

Found 4 expressions with local error:

5.7b
(* b (- (* c z) (* i a)))
4.5b
(* j (- (* c t) (* i y)))
4.2b
(* x (- (* y z) (* t a)))
0.3b
(- (* c z) (* i a))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
9×associate-*r*
7×add-sqr-sqrt sub-neg *-un-lft-identity add-cube-cbrt
6×distribute-rgt-in distribute-lft-in associate-*r/ add-log-exp
4×pow1 flip3-- add-cbrt-cube add-exp-log insert-posit16 flip--
3×*-commutative
1×diff-log
Calls
4 calls:
Slowest
16.0ms
(* x (- (* y z) (* t a)))
9.0ms
(* b (- (* c z) (* i a)))
8.0ms
(* j (- (* c t) (* i y)))
4.0ms
(- (* c z) (* i a))

series198.0ms

Calls
4 calls:
Slowest
64.0ms
(* b (- (* c z) (* i a)))
52.0ms
(* x (- (* y z) (* t a)))
52.0ms
(* j (- (* c t) (* i y)))
30.0ms
(- (* c z) (* i a))

simplify2.2s

Calls
40 calls:
Slowest
236.0ms
(+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a))))
200.0ms
(+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y))))
176.0ms
(+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a))))
148.0ms
(- (* t (* j c)) (* i (* y j)))
113.0ms
(- (* t (* j c)) (* i (* y j)))

prune1.8s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 7.2b

localize33.0ms

Local error

Found 4 expressions with local error:

5.8b
(cbrt (- (* c t) (* i y)))
5.8b
(cbrt (- (* c t) (* i y)))
5.8b
(cbrt (- (* c t) (* i y)))
5.7b
(* b (- (* c z) (* i a)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×cbrt-div
4×pow1 flip3-- add-cbrt-cube add-exp-log insert-posit16 flip-- add-log-exp
3×pow1/3 associate-*r*
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×*-commutative
Calls
4 calls:
Slowest
4.0ms
(* b (- (* c z) (* i a)))
2.0ms
(cbrt (- (* c t) (* i y)))
2.0ms
(cbrt (- (* c t) (* i y)))
2.0ms
(cbrt (- (* c t) (* i y)))

series534.0ms

Calls
4 calls:
Slowest
164.0ms
(cbrt (- (* c t) (* i y)))
151.0ms
(cbrt (- (* c t) (* i y)))
146.0ms
(cbrt (- (* c t) (* i y)))
73.0ms
(* b (- (* c z) (* i a)))

simplify5.1s

Calls
36 calls:
Slowest
426.0ms
(cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y))))
369.0ms
(cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y))))
360.0ms
(cbrt (- (* (* c t) (* c t)) (* (* i y) (* i y))))
322.0ms
(cbrt (- (pow (* c t) 3) (pow (* i y) 3)))
320.0ms
(- (exp (* 1/3 (+ (log i) (+ (log -1) (log y))))) (* 1/3 (* t (* (exp (* 1/3 (- (log -1) (+ (* 2 (log i)) (* 2 (log y)))))) c))))

prune1.7s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 7.2b

localize14.0ms

Local error

Found 4 expressions with local error:

7.0b
(cbrt (* j (- (* c t) (* i y))))
7.0b
(cbrt (* j (- (* c t) (* i y))))
7.0b
(cbrt (* j (- (* c t) (* i y))))
5.7b
(* b (- (* c z) (* i a)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-*r/
6×cbrt-div
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 flip3-- add-cbrt-cube add-exp-log insert-posit16 flip-- add-log-exp
3×cbrt-prod pow1/3 associate-*r*
2×distribute-rgt-in sub-neg distribute-lft-in
1×*-commutative
Calls
4 calls:
Slowest
4.0ms
(cbrt (* j (- (* c t) (* i y))))
4.0ms
(* b (- (* c z) (* i a)))
4.0ms
(cbrt (* j (- (* c t) (* i y))))
2.0ms
(cbrt (* j (- (* c t) (* i y))))

series664.0ms

Calls
4 calls:
Slowest
216.0ms
(cbrt (* j (- (* c t) (* i y))))
208.0ms
(cbrt (* j (- (* c t) (* i y))))
180.0ms
(cbrt (* j (- (* c t) (* i y))))
59.0ms
(* b (- (* c z) (* i a)))

simplify4.3s

Calls
30 calls:
Slowest
330.0ms
(* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 j)) (+ (log (/ -1 t)) (log (/ -1 c)))))))
319.0ms
(* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 j)) (+ (log (/ -1 t)) (log (/ -1 c)))))))
308.0ms
(* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 j)) (+ (log (/ -1 t)) (log (/ -1 c)))))))
302.0ms
(cbrt (* j (- (pow (* c t) 3) (pow (* i y) 3))))
289.0ms
(cbrt (* j (- (pow (* c t) 3) (pow (* i y) 3))))

prune1.7s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 7.2b

localize27.0ms

Local error

Found 4 expressions with local error:

7.0b
(cbrt (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (* c t) (* i y))))))
7.0b
(cbrt (* j (- (* c t) (* i y))))
7.0b
(cbrt (* j (- (* c t) (* i y))))
7.0b
(cbrt (* j (- (* c t) (* i y))))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
86×cbrt-div
68×associate-*r/
30×flip3-- flip--
28×frac-times
14×associate-*l/
4×cbrt-prod add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube pow1/3 add-exp-log add-cube-cbrt insert-posit16 add-log-exp
1×pow3 rem-cbrt-cube
Calls
4 calls:
Slowest
47.0ms
(cbrt (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (* c t) (* i y))))))
5.0ms
(cbrt (* j (- (* c t) (* i y))))
4.0ms
(cbrt (* j (- (* c t) (* i y))))
4.0ms
(cbrt (* j (- (* c t) (* i y))))

series701.0ms

Calls
4 calls:
Slowest
191.0ms
(cbrt (* j (- (* c t) (* i y))))
178.0ms
(cbrt (* j (- (* c t) (* i y))))
176.0ms
(cbrt (* (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (* c t) (* i y))))))
155.0ms
(cbrt (* j (- (* c t) (* i y))))

simplify11.6s

Calls
49 calls:
Slowest
673.0ms
(exp (* -1/3 (+ (log (/ 1 c)) (+ (log (/ 1 j)) (log (/ 1 t))))))
437.0ms
(cbrt (* (* (cbrt (* j (- (pow (* c t) 3) (pow (* i y) 3)))) (cbrt (* j (- (pow (* c t) 3) (pow (* i y) 3))))) (cbrt (* j (- (* c t) (* i y))))))
428.0ms
(* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 j)) (+ (log (/ -1 t)) (log (/ -1 c)))))))
410.0ms
(cbrt (* (* (cbrt (* j (- (pow (* c t) 3) (pow (* i y) 3)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (pow (* c t) 3) (pow (* i y) 3))))))
398.0ms
(cbrt (* (* (cbrt (* j (- (* (* c t) (* c t)) (* (* i y) (* i y))))) (cbrt (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))))) (cbrt (* j (- (* c t) (* i y))))))

prune2.6s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 7.2b

regimes2.8s

Accuracy

0% (3.9b remaining)

Error of 12.1b against oracle of 8.2b and baseline of 12.1b

bsearch10.0ms

end0.0ms

sample6.5s

Algorithm
intervals
Results
5.6s18844×body80valid