Details

Time bar (total: 1.5m)

sample510.0ms

Algorithm
intervals
Results
320.0ms1455×body80nan
92.0ms486×body80valid

simplify209.0ms

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

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.0b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite584.0ms

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

series727.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
258.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
241.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
182.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
47.0ms
(* y (log z))

simplify10.9s

Counts
68 → 104
Calls
68 calls:
Slowest
548.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))
516.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
473.0ms
(/ (* (* (* x x) x) (* (* (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* y y) y))
453.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
400.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))

prune1.7s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.6b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite264.0ms

Algorithm
rewrite-expression-head
Rules
14×add-exp-log
12×add-cbrt-cube
10×add-log-exp
9×add-sqr-sqrt *-un-lft-identity
7×add-cube-cbrt
6×cbrt-prod
5×exp-prod
4×pow1 cbrt-undiv div-exp prod-exp cbrt-unprod insert-posit16
3×exp-sum rem-exp-log
2×exp-diff pow1/3 diff-log
1×clear-num associate-/r* sum-log sub-neg frac-2neg times-frac associate--l+ associate-*r/ div-inv associate-/l* distribute-lft-out-- difference-of-squares associate-/l/
Counts
4 → 67
Calls
4 calls:
Slowest
195.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* (cbrt y) (cbrt y)))
65.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
383.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* (cbrt y) (cbrt y)))
293.0ms
(cbrt y)
285.0ms
(cbrt y)
178.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify10.0s

Counts
42 → 79
Calls
42 calls:
Slowest
1.6s
(/ (* (* (* x x) x) (* (* (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
1.2s
(/ (* (* (* 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)))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
602.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
575.0ms
(- (+ (log x) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (+ (log (cbrt y)) (log (cbrt y))))
514.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)))))))) (pow (cbrt -1) 2)) (pow (/ 1 (pow y 2)) 1/3))

prune1.6s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.5b

localize100.0ms

Local error

Found 4 expressions with local error:

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

rewrite698.0ms

Algorithm
rewrite-expression-head
Rules
34×add-exp-log
28×add-cbrt-cube
12×cbrt-undiv div-exp prod-exp cbrt-unprod
10×add-log-exp
7×add-sqr-sqrt *-un-lft-identity
5×exp-prod add-cube-cbrt
4×pow1 exp-diff insert-posit16
3×clear-num associate-/r* frac-2neg times-frac exp-sum associate-*r/ div-inv associate-/l* rem-exp-log associate-/l/
2×diff-log
1×sum-log sub-neg associate--l+ distribute-lft-out-- difference-of-squares
Counts
4 → 89
Calls
4 calls:
Slowest
235.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* (cbrt y) (cbrt y)))
205.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* (cbrt y) (cbrt y)))
170.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* (cbrt y) (cbrt y)))
85.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
460.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* (cbrt y) (cbrt y)))
434.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* (cbrt y) (cbrt y)))
392.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* (cbrt y) (cbrt y)))
168.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify21.7s

Counts
60 → 101
Calls
60 calls:
Slowest
1.3s
(/ (* (* (* 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)))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
1.2s
(/ (* (* (* x x) x) (* (* (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
1.2s
(/ (* (* (* x x) x) (* (* (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
1.2s
(/ (* (* (* x x) x) (* (* (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
1.2s
(/ (* (* (* 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)))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))

prune2.6s

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 0.5b

localize69.0ms

Local error

Found 4 expressions with local error:

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

rewrite666.0ms

Algorithm
rewrite-expression-head
Rules
19×add-cbrt-cube
16×add-exp-log
13×add-sqr-sqrt *-un-lft-identity
11×add-cube-cbrt
10×add-log-exp
9×associate-/r* times-frac
6×cbrt-undiv div-exp
5×exp-prod
4×pow1 exp-diff insert-posit16
3×clear-num frac-2neg exp-sum prod-exp associate-*r/ cbrt-unprod div-inv associate-/l* rem-exp-log associate-/l/
2×diff-log
1×sum-log sub-neg associate--l+ distribute-lft-out-- difference-of-squares
Counts
4 → 89
Calls
4 calls:
Slowest
203.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
199.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
187.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
74.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series885.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
277.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
213.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
207.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
188.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify14.2s

Counts
63 → 101
Calls
63 calls:
Slowest
561.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
450.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))
446.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))
446.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
446.0ms
(/ (* (* (* x x) x) (* (* (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* y y) y))

prune2.0s

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 0.4b

regimes2.2s

Accuracy

58.2% (0.5b remaining)

Error of 1.2b against oracle of 0.7b and baseline of 2.0b

bsearch595.0ms

end0.0ms

sample16.9s

Algorithm
intervals
Results
9.8s45402×body80nan
3.1s15056×body80valid