Details

Time bar (total: 2.8m)

sample489.0ms

Algorithm
intervals
Results
305.0ms1507×body80nan
97.0ms495×body80valid

simplify186.0ms

Calls
1 calls:
Slowest
186.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: 2.2b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite4.5s

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity
90×add-sqr-sqrt
84×times-frac associate-*r*
80×exp-sum
74×add-cube-cbrt
72×log-prod
70×associate--l+
36×distribute-rgt-in distribute-lft-in
30×associate-+l+ associate-+r+
28×associate-/l*
27×associate-*l*
15×add-exp-log
13×add-cbrt-cube
11×exp-prod
10×pow1 distribute-lft-out-- add-log-exp
6×*-commutative distribute-lft-out unswap-sqr
5×+-commutative sub-neg
4×prod-exp insert-posit16
3×associate-/r* div-exp cbrt-unprod rem-exp-log
2×cbrt-undiv exp-diff diff-log pow-prod-down associate-*l/ log-pow difference-of-squares
1×clear-num sum-log frac-2neg flip3-- associate-*r/ div-inv flip-- associate-/l/
Calls
4 calls:
Slowest
3.6s
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
850.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
29.0ms
(* (- t 1.0) (log a))
13.0ms
(* y (log z))

series541.0ms

Calls
4 calls:
Slowest
235.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
160.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
88.0ms
(* (- t 1.0) (log a))
56.0ms
(* y (log z))

simplify55.1s

Calls
281 calls:
Slowest
955.0ms
(/ (* x (exp (+ (* y (log z)) (* (- t 1.0) (log (sqrt a)))))) 1)
714.0ms
(* (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))
549.0ms
(/ (* x (exp (* y (log (sqrt z))))) 1)
521.0ms
(/ (* x (exp (* y (log (* (cbrt z) (cbrt z)))))) (sqrt y))
497.0ms
(/ (* x (exp (* (log (* (cbrt z) (cbrt z))) y))) (sqrt y))

prune4.0s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 0.6b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite5.4s

Algorithm
rewrite-expression-head
Rules
93×*-un-lft-identity
90×exp-sum
79×times-frac
72×add-sqr-sqrt associate--l+
63×add-cube-cbrt
54×associate-+r+ log-prod
46×associate-*r*
27×distribute-rgt-in distribute-lft-in associate-/l*
20×associate-*r/
19×associate-*l*
16×add-exp-log
14×exp-prod
13×add-cbrt-cube distribute-lft-out--
12×pow1
10×add-log-exp
9×+-commutative sub-neg distribute-lft-out
6×associate-/r*
4×div-exp prod-exp log-pow insert-posit16
3×clear-num exp-diff cbrt-unprod unswap-sqr rem-exp-log
2×cbrt-undiv frac-2neg diff-log pow-prod-down un-div-inv *-commutative div-inv associate-/l/
1×sum-log difference-of-squares
Calls
4 calls:
Slowest
3.3s
(* x (/ (exp (- (+ (* (log z) y) (* (- t 1.0) (log a))) b)) y))
1.2s
(/ (exp (- (+ (* (log z) y) (* (- t 1.0) (log a))) b)) y)
864.0ms
(exp (- (+ (* (log z) y) (* (- t 1.0) (log a))) b))
12.0ms
(* (log z) y)

series720.0ms

Calls
4 calls:
Slowest
225.0ms
(/ (exp (- (+ (* (log z) y) (* (- t 1.0) (log a))) b)) y)
208.0ms
(* x (/ (exp (- (+ (* (log z) y) (* (- t 1.0) (log a))) b)) y))
195.0ms
(exp (- (+ (* (log z) y) (* (- t 1.0) (log a))) b))
91.0ms
(* (log z) y)

simplify42.6s

Calls
220 calls:
Slowest
608.0ms
(exp (+ (* (log z) y) (* (- t 1.0) (log (sqrt a)))))
593.0ms
(/ (exp (- (* (- t 1.0) (log (sqrt a))) b)) (sqrt y))
526.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
493.0ms
(/ (exp (+ (* (log z) y) (* (log (sqrt a)) (- t 1.0)))) (* (cbrt y) (cbrt y)))
443.0ms
(/ (exp (+ (* (log z) y) (* (log (* (cbrt a) (cbrt a))) (- t 1.0)))) (sqrt y))

prune4.1s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.6b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
70×*-un-lft-identity
28×exp-prod
26×distribute-lft-out--
24×associate-*l*
20×exp-sum
18×distribute-lft-out
16×add-sqr-sqrt associate--l+ add-log-exp
12×associate-+r+ log-prod add-cube-cbrt
10×pow1
6×cbrt-prod distribute-rgt-in distribute-lft-in log-pow rem-exp-log
4×add-cbrt-cube diff-log add-exp-log insert-posit16
2×+-commutative sum-log sub-neg exp-diff pow1/3 difference-of-squares
Calls
4 calls:
Slowest
973.0ms
(exp (- (+ (* (log z) y) (* (- t 1.0) (log a))) b))
812.0ms
(exp (- (+ (* (log z) y) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series954.0ms

Calls
4 calls:
Slowest
287.0ms
(cbrt y)
280.0ms
(cbrt y)
205.0ms
(exp (- (+ (* (log z) y) (* (- t 1.0) (log a))) b))
181.0ms
(exp (- (+ (* (log z) y) (* (- t 1.0) (log a))) b))

simplify9.3s

Calls
74 calls:
Slowest
591.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
540.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
407.0ms
(exp (+ (* (log z) y) (* (log (* (cbrt a) (cbrt a))) (- t 1.0))))
369.0ms
(exp (+ (* (log z) y) (* (log (* (cbrt a) (cbrt a))) (- t 1.0))))
347.0ms
(exp (+ (* (log z) y) (* (- t 1.0) (log (* (cbrt a) (cbrt a))))))

prune2.5s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.5b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
111×*-un-lft-identity
45×distribute-lft-out--
40×associate-*l*
38×exp-prod
30×distribute-lft-out
23×add-log-exp
22×exp-sum
18×log-prod
16×add-sqr-sqrt
14×associate-+r+ associate--l+ add-cube-cbrt
13×pow1
9×distribute-rgt-in distribute-lft-in exp-diff log-pow
8×rem-exp-log
7×associate-+l-
6×cbrt-prod diff-log associate--r+
5×sum-log
4×add-cbrt-cube add-exp-log insert-posit16
3×sub-neg
2×+-commutative associate-+l+ pow1/3
1×associate-+r- difference-of-squares
Calls
4 calls:
Slowest
813.0ms
(exp (- (+ (* (log z) y) (* (- t 1.0) (log a))) b))
627.0ms
(exp (+ (- (* (log z) y) (* 1.0 (log a))) (- (* t (log a)) b)))
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series954.0ms

Calls
4 calls:
Slowest
291.0ms
(cbrt y)
288.0ms
(cbrt y)
193.0ms
(exp (+ (- (* (log z) y) (* 1.0 (log a))) (- (* t (log a)) b)))
181.0ms
(exp (- (+ (* (log z) y) (* (- t 1.0) (log a))) b))

simplify13.3s

Calls
95 calls:
Slowest
796.0ms
(exp (+ (- (* (log z) y) (* 1.0 (log a))) (* t (log 1))))
621.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
576.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
501.0ms
(exp (sqrt (+ (- (* (log z) y) (* 1.0 (log a))) (- (* t (log a)) b))))
498.0ms
(exp (+ (- (* (log z) y) (* 1.0 (log a))) (* (log (* (cbrt a) (cbrt a))) t)))

prune3.2s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.5b

regimes2.3s

Accuracy

0% (0.4b remaining)

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

bsearch12.0ms

end0.0ms

sample15.0s

Algorithm
intervals
Results
8.5s46196×body80nan
3.7s15056×body80valid