Details

Time bar (total: 1.1m)

sample455.0ms

Algorithm
intervals
Results
262.0ms1394×body80nan
93.0ms484×body80valid

simplify202.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
202.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.4b

localize66.0ms

Local error

Found 4 expressions with local error:

1.4b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
0.7b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.5b
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
0.2b
(* y (log z))

rewrite580.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
15×*-un-lft-identity
13×add-cbrt-cube add-cube-cbrt
11×add-exp-log
10×associate-*r* add-log-exp
9×pow1
6×log-prod associate-*l* exp-sum
5×exp-prod
4×insert-posit16
3×distribute-rgt-in associate-/r* distribute-lft-in times-frac exp-diff prod-exp cbrt-unprod rem-exp-log
2×cbrt-undiv sub-neg diff-log div-exp pow-prod-down associate--l+ associate-*r/ *-commutative unswap-sqr
1×clear-num sum-log frac-2neg log-pow div-inv associate-/l* distribute-lft-out-- difference-of-squares associate-/l/
Counts
4 → 92
Calls
4 calls:
Slowest
253.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
240.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
74.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
11.0ms
(* y (log z))

series672.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
247.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
206.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
151.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
69.0ms
(* y (log z))

simplify10.6s

Counts
68 → 104
Calls
68 calls:
Slowest
527.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
490.0ms
(/ (* (* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* y y) y))
430.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
395.0ms
(/ (* (* (* x x) x) (* (* (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* y y) y))
377.0ms
(* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a))))))))

prune1.8s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.6b

localize91.0ms

Local error

Found 4 expressions with local error:

2.2b
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
2.2b
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
2.2b
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
1.4b
(/ (* (* (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)

rewrite791.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-*r/
15×cbrt-div exp-diff
13×add-exp-log
9×add-cbrt-cube
7×associate-/l/
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×frac-times associate-*l/
4×pow1 insert-posit16 add-log-exp
3×cbrt-prod cbrt-undiv associate-/r* times-frac pow1/3 div-exp prod-exp cbrt-unprod
1×clear-num frac-2neg div-inv associate-/l*
Counts
4 → 64
Calls
4 calls:
Slowest
237.0ms
(/ (* (* (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
196.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
191.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
166.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
356.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
317.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
316.0ms
(/ (* (* (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
315.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

simplify11.2s

Counts
40 → 76
Calls
40 calls:
Slowest
776.0ms
(/ (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt y))
475.0ms
(/ (* (* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* y y) y))
462.0ms
(* (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))
445.0ms
(/ (* (* (* (* (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (* (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (* (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* y y) y))
440.0ms
(/ (* (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (sqrt y))

prune1.6s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.6b

localize145.0ms

Local error

Found 4 expressions with local error:

2.2b
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
2.2b
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
2.2b
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
2.2b
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

rewrite790.0ms

Algorithm
rewrite-expression-head
Rules
4×cbrt-prod add-sqr-sqrt pow1 cbrt-div *-un-lft-identity add-cbrt-cube exp-diff pow1/3 associate-*r/ add-exp-log add-cube-cbrt insert-posit16 add-log-exp
Counts
4 → 44
Calls
4 calls:
Slowest
230.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
224.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
171.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
164.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
349.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
319.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
314.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
297.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

simplify3.9s

Counts
20 → 56
Calls
20 calls:
Slowest
350.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
348.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
337.0ms
(+ (exp (* 1/3 (- (log x) (* 1.0 (log a))))) (+ (* 1/3 (* (exp (* 1/3 (- (log x) (* 1.0 (log a))))) (* (log z) y))) (* 1/3 (* (exp (* 1/3 (- (log x) (* 1.0 (log a))))) (* t (log a))))))
336.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
323.0ms
(+ (exp (* 1/3 (- (log x) (* 1.0 (log a))))) (+ (* 1/3 (* (exp (* 1/3 (- (log x) (* 1.0 (log a))))) (* (log z) y))) (* 1/3 (* (exp (* 1/3 (- (log x) (* 1.0 (log a))))) (* t (log a))))))

prune1.5s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.6b

localize116.0ms

Local error

Found 4 expressions with local error:

2.2b
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
2.2b
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
2.2b
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
2.2b
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

rewrite637.0ms

Algorithm
rewrite-expression-head
Rules
4×cbrt-prod add-sqr-sqrt pow1 cbrt-div *-un-lft-identity add-cbrt-cube exp-diff pow1/3 associate-*r/ add-exp-log add-cube-cbrt insert-posit16 add-log-exp
Counts
4 → 44
Calls
4 calls:
Slowest
180.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
153.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
153.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
150.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
357.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
348.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
337.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
293.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

simplify4.2s

Counts
20 → 56
Calls
20 calls:
Slowest
353.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
344.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
332.0ms
(+ (exp (* 1/3 (- (log x) (* 1.0 (log a))))) (+ (* 1/3 (* (exp (* 1/3 (- (log x) (* 1.0 (log a))))) (* (log z) y))) (* 1/3 (* (exp (* 1/3 (- (log x) (* 1.0 (log a))))) (* t (log a))))))
316.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
310.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))

prune1.5s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 0.6b

regimes2.4s

Accuracy

63.4% (0.5b remaining)

Error of 1.2b against oracle of 0.7b and baseline of 2.0b

bsearch1.2s

end0.0ms

sample16.1s

Algorithm
intervals
Results
10.2s45485×body80nan
3.4s15104×body80valid