Details

Time bar (total: 1.3m)

sample548.0ms

Algorithm
intervals
Results
343.0ms1865×body80nan
95.0ms548×body80valid

simplify209.0ms

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

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite373.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
217.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
108.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
32.0ms
(* (- t 1.0) (log a))
13.0ms
(* y (log z))

series528.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
218.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
171.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
100.0ms
(* (- t 1.0) (log a))
38.0ms
(* y (log z))

simplify9.1s

Counts
74 → 111
Calls
74 calls:
Slowest
542.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
442.0ms
(* (- (pow t 3) (pow 1.0 3)) (log a))
416.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
406.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))
405.0ms
(* (* (* y y) y) (* (* (log z) (log z)) (log z)))

prune2.1s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.8b

localize80.0ms

Local error

Found 4 expressions with local error:

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

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

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
430.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* (cbrt y) (cbrt y)))
299.0ms
(cbrt y)
272.0ms
(cbrt y)
162.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify9.5s

Counts
42 → 79
Calls
42 calls:
Slowest
1.3s
(/ (* (* (* 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.1s
(/ (* (* (* 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))))
516.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
480.0ms
(- (+ (log x) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (+ (log (cbrt y)) (log (cbrt y))))
475.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))

prune2.0s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 0.7b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite217.0ms

Algorithm
rewrite-expression-head
Rules
57×times-frac
29×add-sqr-sqrt *-un-lft-identity
27×add-cube-cbrt
15×exp-sum
11×associate-/r* add-cbrt-cube add-exp-log
10×add-log-exp
6×cbrt-prod
5×cbrt-undiv exp-prod sub-neg exp-diff div-exp associate--l+ associate-/r/ div-inv
4×pow1 insert-posit16
3×associate-/l* rem-exp-log
2×pow1/3 diff-log
1×clear-num sum-log frac-2neg prod-exp cbrt-unprod distribute-lft-out-- difference-of-squares
Counts
4 → 109
Calls
4 calls:
Slowest
120.0ms
(/ x (/ (* (cbrt y) (cbrt y)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
91.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
336.0ms
(/ x (/ (* (cbrt y) (cbrt y)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
282.0ms
(cbrt y)
257.0ms
(cbrt y)
183.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify21.2s

Counts
116 → 121
Calls
116 calls:
Slowest
622.0ms
(/ (* (* x x) x) (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (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)))))
504.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
456.0ms
(/ 1 (/ (cbrt y) (exp (+ (* y (log z)) (* (- t 1.0) (log a))))))
438.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))
423.0ms
(/ (* (* x x) x) (* (* (/ (* (cbrt y) (cbrt y)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ (* (cbrt y) (cbrt y)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (/ (* (cbrt y) (cbrt y)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))

prune2.6s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 0.7b

localize71.0ms

Local error

Found 4 expressions with local error:

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

rewrite91.0ms

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

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
538.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
304.0ms
(cbrt x)
297.0ms
(cbrt x)
241.0ms
(cbrt x)

simplify3.5s

Counts
33 → 68
Calls
33 calls:
Slowest
574.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
312.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
278.0ms
(exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))
265.0ms
(* (exp (* y (log z))) (exp (* (- t 1.0) (log a))))
255.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.4s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 0.6b

regimes2.8s

Accuracy

0% (0.6b remaining)

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

bsearch8.0ms

end0.0ms

sample16.7s

Algorithm
intervals
Results
9.1s46605×body80nan
3.3s15368×body80valid