Details

Time bar (total: 1.4m)

sample482.0ms

Algorithm
intervals
Results
314.0ms1490×body80nan
89.0ms482×body80valid

simplify251.0ms

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

prune38.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize69.0ms

Local error

Found 4 expressions with local error:

1.4b
(/ (* 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.3b
(* y (log z))

rewrite629.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
27×*-un-lft-identity
25×add-cube-cbrt
24×exp-sum
19×associate-*r*
18×prod-diff
13×add-cbrt-cube
11×add-exp-log
10×add-log-exp
9×pow1
6×log-prod associate-*l*
5×exp-prod
4×expm1-log1p-u insert-posit16 log1p-expm1-u
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 → 118
Calls
4 calls:
Slowest
311.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
216.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
85.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
14.0ms
(* y (log z))

series631.0ms

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

simplify14.6s

Counts
86 → 130
Calls
86 calls:
Slowest
899.0ms
(exp (fma (* (cbrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (cbrt (+ (* y (log z)) (* (- t 1.0) (log a))))) (cbrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))
528.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))
483.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
423.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))
390.0ms
(* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a))))))))

prune2.5s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.6b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite768.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt *-un-lft-identity add-cbrt-cube
17×add-cube-cbrt
16×add-exp-log
12×exp-sum
10×add-log-exp
9×associate-/r* times-frac prod-diff
6×cbrt-undiv div-exp
5×exp-prod
4×expm1-log1p-u pow1 exp-diff insert-posit16 log1p-expm1-u
3×clear-num frac-2neg 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 → 106
Calls
4 calls:
Slowest
271.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
223.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
198.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))

series960.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
291.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
276.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
235.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
157.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify17.3s

Counts
72 → 118
Calls
72 calls:
Slowest
636.0ms
(- (+ (* y (log z)) (* (- t 1.0) (log a))) b)
595.0ms
(exp (fma (* (cbrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (cbrt (+ (* y (log z)) (* (- t 1.0) (log a))))) (cbrt (+ (* y (log z)) (* (- t 1.0) (log a)))) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))
498.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))
459.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))
458.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)

prune2.7s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 0.6b

localize54.0ms

Local error

Found 4 expressions with local error:

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

rewrite872.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-*r/
15×cbrt-div exp-diff
13×add-exp-log
9×add-cbrt-cube
7×associate-/l/
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×frac-times associate-*l/
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod cbrt-undiv associate-/r* times-frac pow1/3 div-exp prod-exp cbrt-unprod
1×clear-num frac-2neg div-inv associate-/l*
Counts
4 → 72
Calls
4 calls:
Slowest
275.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))))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
231.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
203.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
160.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
338.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
338.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
338.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))))) (cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
325.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

simplify10.5s

Counts
40 → 84
Calls
40 calls:
Slowest
481.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
448.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))
441.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
439.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
438.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))))) (sqrt y))

prune1.9s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 0.6b

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite894.0ms

Algorithm
rewrite-expression-head
Rules
4×cbrt-prod add-sqr-sqrt expm1-log1p-u pow1 cbrt-div *-un-lft-identity add-cbrt-cube exp-diff pow1/3 associate-*r/ add-exp-log add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 52
Calls
4 calls:
Slowest
255.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
223.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
215.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
200.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
355.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
351.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
350.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
345.0ms
(cbrt (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

simplify5.6s

Counts
20 → 64
Calls
20 calls:
Slowest
645.0ms
(exp (* 1/3 (- (* 1.0 (log (/ 1 a))) (+ (log (/ 1 x)) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))))
455.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
425.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
416.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))
413.0ms
(* (cbrt -1) (exp (* 1/3 (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (log (/ -1 x)) (+ (* y (log (/ -1 z))) (* 1.0 (log -1))))))))))

prune1.5s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.6b

regimes2.3s

Accuracy

65.3% (0.4b remaining)

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

bsearch557.0ms

end0.0ms

sample15.8s

Algorithm
intervals
Results
9.0s46114×body80nan
3.5s15172×body80valid