Details

Time bar (total: 56.0s)

sample425.0ms

Algorithm
intervals
Results
246.0ms1479×body80nan
111.0ms485×body80valid

simplify552.0ms

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

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.9b

localize59.0ms

Local error

Found 4 expressions with local error:

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

rewrite61.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
42.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
13.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
5.0ms
(* (- t 1.0) (log a))
1.0ms
(* y (log z))

series415.0ms

Calls
4 calls:
Slowest
183.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
135.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
58.0ms
(* (- t 1.0) (log a))
39.0ms
(* y (log z))

simplify4.6s

Calls
34 calls:
Slowest
439.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
341.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
295.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)
293.0ms
(* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* (log a) (log a)) (log a)))
288.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

prune1.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.9b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite222.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
91.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))
50.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
27.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series580.0ms

Calls
4 calls:
Slowest
172.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)
141.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
139.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
128.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify8.6s

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

prune1.6s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.9b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite202.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
53.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
50.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
49.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
49.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series489.0ms

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

simplify8.0s

Calls
44 calls:
Slowest
331.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
290.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
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)))))))
284.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
282.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

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.8b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite137.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
45.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
42.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
26.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
23.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series508.0ms

Calls
4 calls:
Slowest
138.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
125.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
124.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
121.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify8.3s

Calls
44 calls:
Slowest
691.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
365.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
296.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)))))))
287.0ms
(exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))

prune2.0s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 0.8b

regimes2.0s

Accuracy

0% (1.2b remaining)

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

bsearch26.0ms

end0.0ms

sample14.0s

Algorithm
intervals
Results
8.3s44590×body80nan
3.2s15145×body80valid