Details

Time bar (total: 51.5s)

sample543.0ms

Algorithm
intervals
Results
318.0ms1522×body80nan
108.0ms501×body80valid

simplify231.0ms

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

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.6b

localize375.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
(* y (log z))
0.2b
(* (- t 1.0) (log a))

rewrite44.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
25.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))

series499.0ms

Calls
4 calls:
Slowest
219.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
165.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
72.0ms
(* (- t 1.0) (log a))
43.0ms
(* y (log z))

simplify4.3s

Calls
34 calls:
Slowest
392.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
373.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
273.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
273.0ms
(exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))
271.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.3s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.8b

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite46.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 associate-/r* sub-neg frac-2neg flip3-- pow-prod-down prod-exp associate--l+ associate-*r/ associate-/r/ cbrt-unprod div-inv flip-- rem-exp-log
Calls
4 calls:
Slowest
35.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
5.0ms
(/ y (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
5.0ms
(* (- t 1.0) (log a))
1.0ms
(* y (log z))

series602.0ms

Calls
4 calls:
Slowest
277.0ms
(/ y (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
178.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
93.0ms
(* (- t 1.0) (log a))
54.0ms
(* y (log z))

simplify4.5s

Calls
35 calls:
Slowest
424.0ms
(/ y (* 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)))))))))
387.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
384.0ms
(/ y (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))))
348.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
289.0ms
(* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* (log a) (log a)) (log a)))

prune1.3s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.8b

localize23.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.8b
(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
9×exp-prod exp-sum
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×add-log-exp
4×cbrt-prod pow1 add-cbrt-cube add-exp-log insert-posit16
3×sub-neg exp-diff associate--l+ rem-exp-log
1×cbrt-div pow1/3 div-inv
Calls
4 calls:
Slowest
38.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
26.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
25.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
9.0ms
(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))

series850.0ms

Calls
4 calls:
Slowest
360.0ms
(cbrt (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))
171.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
162.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
156.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify7.8s

Calls
41 calls:
Slowest
460.0ms
(exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (+ (* t (log -1)) (log (/ -1 y))))) (+ b (+ (* 1.0 (log -1)) (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (* y (log (/ -1 z))))))))))
325.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
320.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)))))))
319.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
295.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

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.7b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite224.0ms

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

series945.0ms

Calls
4 calls:
Slowest
378.0ms
(cbrt (/ (* x (exp (+ (* (log z) y) (- (- (* t (log a)) b) (* 1.0 (log a)))))) y))
203.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
186.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
177.0ms
(exp (+ (* (log z) y) (- (- (* t (log a)) b) (* 1.0 (log a)))))

simplify8.2s

Calls
41 calls:
Slowest
680.0ms
(exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))
492.0ms
(exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (+ (* t (log -1)) (log (/ -1 y))))) (+ b (+ (* 1.0 (log -1)) (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (* y (log (/ -1 z))))))))))
345.0ms
(+ (* (log z) y) (- (- (* t (log a)) b) (* 1.0 (log a))))
334.0ms
(cbrt (sqrt (/ (* x (exp (+ (* (log z) y) (- (- (* t (log a)) b) (* 1.0 (log a)))))) y)))
318.0ms
(exp (* (cbrt (+ (* (log z) y) (- (- (* t (log a)) b) (* 1.0 (log a))))) (cbrt (+ (* (log z) y) (- (- (* t (log a)) b) (* 1.0 (log a)))))))

prune1.9s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.7b

regimes2.7s

Accuracy

0% (1.1b remaining)

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

bsearch23.0ms

end0.0ms

sample13.2s

Algorithm
intervals
Results
8.3s45862×body80nan
2.7s15393×body80valid