Details

Time bar (total: 53.2s)

sample473.0ms

Algorithm
intervals
Results
275.0ms1421×body80nan
124.0ms492×body80valid

simplify177.0ms

Calls
1 calls:
Slowest
176.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.8b

localize37.0ms

Local error

Found 4 expressions with local error:

1.9b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
1.3b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.2b
(* y (log z))
0.1b
(* (- t 1.0) (log a))

rewrite84.0ms

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

series415.0ms

Calls
4 calls:
Slowest
178.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
139.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
55.0ms
(* (- t 1.0) (log a))
42.0ms
(* y (log z))

simplify4.8s

Calls
34 calls:
Slowest
483.0ms
(- (* 1.0 (log (/ 1 a))) (* t (log (/ 1 a))))
446.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
347.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
278.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)))))))
277.0ms
(* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* (log a) (log a)) (log a)))

prune1.4s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 1.0b

localize6.0ms

Local error

Found 4 expressions with local error:

1.3b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.9b
(/ x (/ y (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
0.2b
(* y (log z))
0.1b
(* (- t 1.0) (log a))

rewrite56.0ms

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

series467.0ms

Calls
4 calls:
Slowest
192.0ms
(/ x (/ y (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
148.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
76.0ms
(* (- t 1.0) (log a))
52.0ms
(* y (log z))

simplify5.5s

Calls
39 calls:
Slowest
419.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
409.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
302.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
299.0ms
(/ 1 (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
292.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)))))))

prune1.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.9b

localize32.0ms

Local error

Found 4 expressions with local error:

1.3b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.3b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.3b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.9b
(/ x (/ y (* (* (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))))))

rewrite196.0ms

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

series614.0ms

Calls
4 calls:
Slowest
210.0ms
(/ x (/ y (* (* (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))))))
143.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
139.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
121.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify7.8s

Calls
48 calls:
Slowest
417.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
346.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)
314.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
306.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)))))))
294.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))

prune1.8s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.8b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite208.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
54.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
52.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
51.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
50.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series549.0ms

Calls
4 calls:
Slowest
148.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
142.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
140.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
118.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify7.6s

Calls
44 calls:
Slowest
293.0ms
(exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))
284.0ms
(exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))
283.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)))))))
281.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)))))))
273.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)))))))

prune1.9s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 0.8b

regimes2.4s

Accuracy

0% (1.1b remaining)

Error of 1.7b against oracle of 0.6b and baseline of 1.7b

bsearch13.0ms

end0.0ms

sample15.1s

Algorithm
intervals
Results
9.1s44579×body80nan
3.0s15142×body80valid