Details

Time bar (total: 1.8m)

sample445.0ms

Algorithm
intervals
Results
242.0ms1424×body80nan
112.0ms508×body80valid

simplify582.0ms

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

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

rewrite316.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
19×*-un-lft-identity
15×add-cube-cbrt
13×add-cbrt-cube
12×log-prod add-exp-log
10×pow1 add-log-exp
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in
5×exp-prod
4×insert-posit16
3×associate-/r* times-frac exp-sum prod-exp cbrt-unprod rem-exp-log
2×cbrt-undiv exp-diff diff-log div-exp pow-prod-down associate-*l/ log-pow *-commutative distribute-lft-out-- difference-of-squares unswap-sqr
1×clear-num sum-log sub-neg frac-2neg flip3-- associate--l+ associate-*r/ div-inv flip-- associate-/l* associate-/l/
Counts
4 → 99
Calls
4 calls:
Slowest
194.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
91.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
22.0ms
(* (- t 1.0) (log a))
6.0ms
(* y (log z))

series528.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
223.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
162.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
92.0ms
(* (- t 1.0) (log a))
49.0ms
(* y (log z))

simplify9.3s

Counts
74 → 111
Calls
74 calls:
Slowest
564.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
465.0ms
(/ (* (* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* y y) y))
425.0ms
(/ (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (sqrt y))
416.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
411.0ms
(* (- (pow t 3) (pow 1.0 3)) (log a))

prune2.0s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.8b

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite259.0ms

Algorithm
rewrite-expression-head
Rules
141×times-frac
85×add-sqr-sqrt
81×*-un-lft-identity
77×add-cube-cbrt
39×exp-sum
23×associate-/r*
13×sub-neg add-cbrt-cube associate--l+
12×log-prod add-exp-log
10×pow1 add-log-exp
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in
5×exp-prod exp-diff associate-/r/ div-inv
4×insert-posit16
3×cbrt-undiv div-exp associate-/l* rem-exp-log
2×diff-log pow-prod-down associate-*l/ prod-exp log-pow *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
1×clear-num sum-log frac-2neg flip3-- flip--
Counts
4 → 187
Calls
4 calls:
Slowest
110.0ms
(/ x (/ y (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
98.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
32.0ms
(* (- t 1.0) (log a))
13.0ms
(* y (log z))

series587.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
252.0ms
(/ x (/ y (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
170.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
95.0ms
(* (- t 1.0) (log a))
69.0ms
(* y (log z))

simplify43.1s

Counts
229 → 199
Calls
229 calls:
Slowest
711.0ms
(/ (sqrt x) (/ (cbrt y) (exp (- (* (- t 1.0) (log a)) b))))
561.0ms
(/ (sqrt x) (/ (* (cbrt y) (cbrt y)) (exp (* y (log z)))))
524.0ms
(exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))
513.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
459.0ms
(/ (* (cbrt x) (cbrt x)) (/ (* (cbrt y) (cbrt y)) (exp (* y (log z)))))

prune3.6s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 0.8b

localize106.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.6b
(cbrt x)

rewrite222.0ms

Algorithm
rewrite-expression-head
Rules
22×add-log-exp
15×exp-prod
14×add-sqr-sqrt *-un-lft-identity
9×exp-sum rem-exp-log
8×add-cube-cbrt
6×diff-log
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×cbrt-prod sum-log sub-neg exp-diff associate--l+ distribute-lft-out-- difference-of-squares
1×pow1/3
Counts
4 → 72
Calls
4 calls:
Slowest
82.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
78.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
60.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt x)

series769.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
259.0ms
(cbrt x)
179.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
169.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
161.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify9.2s

Counts
51 → 84
Calls
51 calls:
Slowest
631.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
600.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
520.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
328.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
315.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

prune2.3s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.7b

localize137.0ms

Local error

Found 4 expressions with local error:

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

rewrite319.0ms

Algorithm
rewrite-expression-head
Rules
29×add-log-exp
14×exp-prod *-un-lft-identity
12×add-sqr-sqrt
11×rem-exp-log
8×diff-log add-cube-cbrt
7×exp-sum
6×sum-log
4×pow1 add-cbrt-cube exp-diff add-exp-log insert-posit16
3×cbrt-prod
2×sub-neg associate--l+ distribute-lft-out-- difference-of-squares
1×associate-+r- pow1/3 associate-+l- distribute-lft-out
Counts
4 → 72
Calls
4 calls:
Slowest
143.0ms
(exp (+ (- (* (log z) y) (* 1.0 (log a))) (- (* t (log a)) b)))
93.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
81.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt x)

series818.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
277.0ms
(cbrt x)
210.0ms
(exp (+ (- (* (log z) y) (* 1.0 (log a))) (- (* t (log a)) b)))
178.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
152.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify9.6s

Counts
51 → 84
Calls
51 calls:
Slowest
633.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
556.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
513.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
432.0ms
(+ (- (* (log z) y) (* 1.0 (log a))) (- (* t (log a)) b))
415.0ms
(exp (sqrt (+ (- (* (log z) y) (* 1.0 (log a))) (- (* t (log a)) b))))

prune2.4s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 0.7b

regimes3.5s

Accuracy

0% (0.4b remaining)

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

bsearch15.0ms

end0.0ms

sample16.0s

Algorithm
intervals
Results
8.9s45557×body80nan
3.5s15266×body80valid