Details

Time bar (total: 57.5s)

sample473.0ms

Algorithm
intervals
Results
273.0ms1512×body80nan
110.0ms494×body80valid

simplify176.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.7b

localize51.0ms

Local error

Found 4 expressions with local error:

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

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
9×associate-*r*
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×exp-sum
5×add-log-exp
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×exp-prod exp-diff
2×sub-neg associate--l+ associate-*r/ *-commutative
1×clear-num frac-2neg div-inv associate-/l* rem-exp-log associate-/l/
Calls
4 calls:
Slowest
52.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
21.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
21.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
1.0ms
(* y (log z))

series523.0ms

Calls
4 calls:
Slowest
195.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
166.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
108.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
54.0ms
(* y (log z))

simplify4.9s

Calls
31 calls:
Slowest
664.0ms
(exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))
406.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
306.0ms
(* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a))))))))
287.0ms
(+ (/ (* x (exp (- (* 1.0 (log a))))) y) (+ (* x (* (log z) (exp (- (* 1.0 (log a)))))) (/ (* t (* x (* (log a) (exp (- (* 1.0 (log a))))))) y)))
264.0ms
(exp (sqrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))

prune1.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.9b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite209.0ms

Algorithm
rewrite-expression-head
Rules
15×exp-diff
12×cbrt-div
9×exp-prod exp-sum associate-*r/
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp associate-/l/
5×frac-times associate-*l/
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×sub-neg associate--l+ rem-exp-log
1×clear-num frac-2neg div-inv associate-/l*
Calls
4 calls:
Slowest
100.0ms
(/ (* (* x (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) y)
50.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
32.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
26.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series522.0ms

Calls
4 calls:
Slowest
175.0ms
(/ (* (* x (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) y)
118.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
114.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
114.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify8.3s

Calls
44 calls:
Slowest
432.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
298.0ms
(* (* x (* (cbrt (exp (+ (* y (log z)) (* (- t 1.0) (log a))))) (cbrt (exp (+ (* y (log z)) (* (- t 1.0) (log a))))))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
294.0ms
(* (* x (* (cbrt (exp (+ (* y (log z)) (* (- t 1.0) (log a))))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (cbrt (exp (+ (* y (log z)) (* (- t 1.0) (log a))))))
289.0ms
(exp (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (* y (log (/ -1 z))) (* 1.0 (log -1)))))))
280.0ms
(* (* x (* (cbrt (exp (+ (* y (log z)) (* (- t 1.0) (log a))))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

prune1.7s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.8b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite164.0ms

Algorithm
rewrite-expression-head
Rules
12×exp-prod exp-sum
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
4×pow1 sub-neg add-cbrt-cube exp-diff associate--l+ add-exp-log insert-posit16 rem-exp-log
Calls
4 calls:
Slowest
57.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
40.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
34.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
33.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series457.0ms

Calls
4 calls:
Slowest
129.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
120.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
110.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
98.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify7.4s

Calls
44 calls:
Slowest
286.0ms
(exp (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (* y (log (/ -1 z))) (* 1.0 (log -1)))))))
283.0ms
(exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))
270.0ms
(exp (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (* y (log (/ -1 z))) (* 1.0 (log -1)))))))
265.0ms
(exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))
263.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))

prune2.1s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 0.8b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite236.0ms

Algorithm
rewrite-expression-head
Rules
15×exp-diff
12×cbrt-div
10×associate-*r/
9×exp-prod exp-sum
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp associate-/l/
5×frac-times associate-*l/
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×sub-neg associate--l+ rem-exp-log
1×clear-num frac-2neg div-inv associate-/l*
Calls
4 calls:
Slowest
125.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
39.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
37.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
34.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series614.0ms

Calls
4 calls:
Slowest
205.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
140.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
135.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
134.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify8.8s

Calls
43 calls:
Slowest
816.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
298.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
291.0ms
(exp (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (* y (log (/ -1 z))) (* 1.0 (log -1)))))))
284.0ms
(* x (* (* (cbrt (exp (+ (* y (log z)) (* (- t 1.0) (log a))))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (+ (* y (log z)) (* (- t 1.0) (log a)))))))
283.0ms
(* x (* (* (cbrt (exp (+ (* y (log z)) (* (- t 1.0) (log a))))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))

prune1.6s

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 0.8b

regimes2.4s

Accuracy

0% (1.2b remaining)

Error of 1.9b against oracle of 0.7b and baseline of 1.9b

bsearch10.0ms

end0.0ms

sample15.5s

Algorithm
intervals
Results
9.5s46227×body80nan
3.8s15342×body80valid