Details

Time bar (total: 1.1m)

sample429.0ms

Algorithm
intervals
Results
253.0ms1512×body80nan
103.0ms494×body80valid

simplify168.0ms

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

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

localize37.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))

rewrite84.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×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
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
45.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
21.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
14.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
3.0ms
(* y (log z))

series499.0ms

Calls
4 calls:
Slowest
169.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
162.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
126.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
41.0ms
(* y (log z))

simplify5.4s

Calls
31 calls:
Slowest
474.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
363.0ms
(* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a))))))))
326.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
304.0ms
(- (+ (* y (log z)) (* (- t 1.0) (log a))) b)
301.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)))

prune1.6s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.9b

localize35.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)

rewrite231.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×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×sub-neg associate--l+ rem-exp-log
1×clear-num frac-2neg div-inv associate-/l*
Calls
4 calls:
Slowest
108.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)
48.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
39.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
34.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series618.0ms

Calls
4 calls:
Slowest
211.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)
160.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
124.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
124.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify9.9s

Calls
44 calls:
Slowest
493.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
369.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
331.0ms
(- (+ (* y (log z)) (* (- t 1.0) (log a))) b)
330.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
328.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))

prune2.0s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.8b

localize36.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))

rewrite179.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×expm1-log1p-u pow1 sub-neg add-cbrt-cube exp-diff associate--l+ add-exp-log insert-posit16 log1p-expm1-u rem-exp-log
Calls
4 calls:
Slowest
56.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
54.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
42.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
27.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series508.0ms

Calls
4 calls:
Slowest
155.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
125.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
115.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
113.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify8.6s

Calls
44 calls:
Slowest
352.0ms
(exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))
335.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
324.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
314.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
293.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))

prune2.0s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.8b

localize18.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)

rewrite231.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×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×sub-neg associate--l+ rem-exp-log
1×clear-num frac-2neg div-inv associate-/l*
Calls
4 calls:
Slowest
101.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)
53.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
48.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
28.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series620.0ms

Calls
4 calls:
Slowest
193.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)
163.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
154.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
109.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify9.5s

Calls
43 calls:
Slowest
495.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
344.0ms
(/ (* x (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)))))))) y)
340.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
335.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
317.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

18 alts after pruning (18 fresh and 0 done)

Merged error: 0.8b

regimes2.2s

Accuracy

0% (1.2b remaining)

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

bsearch6.0ms

end0.0ms

sample16.2s

Algorithm
intervals
Results
10.4s46227×body80nan
3.3s15342×body80valid