Details

Time bar (total: 1.7m)

sample500.0ms

Algorithm
intervals
Results
306.0ms1455×body80nan
90.0ms486×body80valid

simplify541.0ms

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

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

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

rewrite520.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
230.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
211.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
69.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
7.0ms
(* y (log z))

series744.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
296.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
222.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
164.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
61.0ms
(* y (log z))

simplify14.4s

Counts
86 → 130
Calls
86 calls:
Slowest
504.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))))))
484.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
467.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))
426.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* b 1))))
419.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))

prune2.4s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.6b

localize54.0ms

Local error

Found 4 expressions with local error:

1.3b
(/ (* x (expm1 (log1p (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
(expm1 (log1p (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
0.3b
(* x (expm1 (log1p (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))

rewrite117.0ms

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

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
332.0ms
(/ (* x (expm1 (log1p (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
257.0ms
(* x (expm1 (log1p (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))
243.0ms
(expm1 (log1p (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
188.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify14.2s

Counts
56 → 100
Calls
56 calls:
Slowest
768.0ms
(* x (expm1 (log1p (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))
623.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))))))
487.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
458.0ms
(/ (expm1 (log1p (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) y)
438.0ms
(/ (* (* (* x (expm1 (log1p (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (* x (expm1 (log1p (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (* x (expm1 (log1p (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (* (* y y) y))

prune1.9s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.6b

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

rewrite325.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity
14×add-exp-log
13×add-cube-cbrt
12×add-cbrt-cube exp-sum
10×add-log-exp
9×prod-diff
6×cbrt-prod
5×exp-prod
4×expm1-log1p-u pow1 cbrt-undiv div-exp prod-exp cbrt-unprod insert-posit16 log1p-expm1-u
3×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 → 84
Calls
4 calls:
Slowest
231.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* (cbrt y) (cbrt y)))
92.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
426.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* (cbrt y) (cbrt y)))
301.0ms
(cbrt y)
234.0ms
(cbrt y)
167.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify11.7s

Counts
51 → 96
Calls
51 calls:
Slowest
998.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)))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
856.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)))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
568.0ms
(- (+ (log x) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (+ (log (cbrt y)) (log (cbrt y))))
543.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))))))
438.0ms
(- (+ (log x) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (log (* (cbrt y) (cbrt y))))

prune2.0s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.5b

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

rewrite652.0ms

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

series1.6s

Counts
4 → 12
Calls
4 calls:
Slowest
456.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* (cbrt y) (cbrt y)))
438.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* (cbrt y) (cbrt y)))
438.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* (cbrt y) (cbrt y)))
239.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify23.7s

Counts
69 → 118
Calls
69 calls:
Slowest
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))))
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))))
1.0s
(/ (* (* (* 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))))
885.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)))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
880.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)))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))

prune2.8s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 0.5b

regimes2.3s

Accuracy

58.5% (0.5b remaining)

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

bsearch983.0ms

end0.0ms

sample16.7s

Algorithm
intervals
Results
9.1s45402×body80nan
3.0s15056×body80valid