Details

Time bar (total: 3.2m)

sample551.0ms

Algorithm
intervals
Results
298.0ms1424×body80nan
139.0ms508×body80valid

simplify172.0ms

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

prune37.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

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

rewrite354.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
25×*-un-lft-identity
21×add-cube-cbrt
13×add-cbrt-cube
12×log-prod exp-sum add-exp-log
10×pow1 add-log-exp
9×prod-diff
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in
5×exp-prod
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-/r* times-frac 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 → 116
Calls
4 calls:
Slowest
215.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
109.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
19.0ms
(* (- t 1.0) (log a))
7.0ms
(* y (log z))

series558.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
287.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
166.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
62.0ms
(* (- t 1.0) (log a))
42.0ms
(* y (log z))

simplify12.0s

Counts
83 → 128
Calls
83 calls:
Slowest
533.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
525.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))))))
513.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))
464.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
386.0ms
(/ (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (sqrt y))

prune2.3s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.8b

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

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
330×times-frac
226×add-sqr-sqrt
222×*-un-lft-identity
218×add-cube-cbrt
156×exp-sum
117×prod-diff
50×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×expm1-log1p-u insert-posit16 log1p-expm1-u
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 → 312
Calls
4 calls:
Slowest
105.0ms
(/ x (/ y (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
64.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
17.0ms
(* (- t 1.0) (log a))
7.0ms
(* y (log z))

series555.0ms

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

simplify1.7m

Counts
427 → 324
Calls
427 calls:
Slowest
843.0ms
(/ (sqrt x) (/ (* (cbrt y) (cbrt y)) (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))))))))
828.0ms
(/ (* (cbrt x) (cbrt x)) (* (cbrt (/ y (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (/ y (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))))
812.0ms
(/ 1 (/ (* (cbrt y) (cbrt y)) (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))))))))
708.0ms
(/ (sqrt y) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
708.0ms
(/ (sqrt x) (/ 1 (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)))) (- (* b 1))))))

prune6.1s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 0.8b

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

rewrite209.0ms

Algorithm
rewrite-expression-head
Rules
36×exp-sum
32×add-sqr-sqrt *-un-lft-identity
27×prod-diff
26×add-cube-cbrt
22×add-log-exp
15×exp-prod
9×rem-exp-log
6×diff-log
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×cbrt-prod sum-log sub-neg exp-diff associate--l+ distribute-lft-out-- difference-of-squares
1×pow1/3
Counts
4 → 107
Calls
4 calls:
Slowest
74.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
67.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
64.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0ms
(cbrt x)

series913.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
273.0ms
(cbrt x)
235.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
207.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
198.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify20.0s

Counts
78 → 119
Calls
78 calls:
Slowest
947.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* (sqrt b) (sqrt b)))))
603.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))))))
589.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))))))
554.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))))))
493.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* (sqrt b) (sqrt b)))))

prune3.4s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.7b

localize139.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 (- (fma (log a) t (- (* y (log z)) b)) (* 1.0 (log a))))
0.6b
(cbrt x)

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
30×exp-sum
25×add-sqr-sqrt *-un-lft-identity
21×prod-diff add-cube-cbrt
19×add-log-exp
13×exp-prod
8×rem-exp-log
5×diff-log
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×cbrt-prod sub-neg exp-diff associate--l+
2×sum-log distribute-lft-out-- difference-of-squares
1×pow1/3 fma-udef
Counts
4 → 98
Calls
4 calls:
Slowest
87.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
67.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
17.0ms
(exp (- (fma (log a) t (- (* y (log z)) b)) (* 1.0 (log a))))
1.0ms
(cbrt x)

series921.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
308.0ms
(cbrt x)
254.0ms
(exp (- (fma (log a) t (- (* y (log z)) b)) (* 1.0 (log a))))
184.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
174.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify17.6s

Counts
69 → 110
Calls
69 calls:
Slowest
661.0ms
(exp (fma (* (cbrt (fma (log a) t (- (* y (log z)) b))) (cbrt (fma (log a) t (- (* y (log z)) b)))) (cbrt (fma (log a) t (- (* y (log z)) b))) (- (* (log a) 1.0))))
656.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))))))
603.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))))))
513.0ms
(exp (fma 1 (+ (* y (log z)) (* (- t 1.0) (log a))) (- (* (sqrt b) (sqrt b)))))
485.0ms
(exp (fma 1 (fma (log a) t (- (* y (log z)) b)) (- (* (log a) 1.0))))

prune3.8s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.7b

regimes3.7s

Accuracy

0% (0.4b remaining)

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

bsearch22.0ms

end0.0ms

sample16.8s

Algorithm
intervals
Results
9.8s45557×body80nan
3.2s15266×body80valid