Details

Time bar (total: 41.3s)

sample498.0ms

Algorithm
intervals
Results
344.0ms1896×body80nan
42.0ms258×body80valid

simplify3.9s

Counts
1 → 1
Iterations
IterNodes
73522
61815
5983
4411
3155
261
127
015

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize46.0ms

Local error

Found 3 expressions with local error:

0.1b
(- (log z) (fma (- 0.5 a) (log t) t))
0.1b
(fma (- 0.5 a) (log t) t)
0.2b
(+ (log (+ y x)) (- (log z) (fma (- 0.5 a) (log t) t)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
24×add-sqr-sqrt prod-diff
22×add-cube-cbrt
17×pow1 associate-+r+
14×log-pow
10×log-prod
7×distribute-lft-out
6×associate--l+ distribute-lft-out-- add-log-exp
4×associate-+l+ fma-def fma-neg
3×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
2×log-div sum-log sub-neg flip3-+ diff-log associate-+l- flip-+ fma-udef
1×+-commutative associate-+r- flip3-- flip-- associate--r+ difference-of-squares
Counts
3 → 98
Calls
3 calls:
9.0ms
(- (log z) (fma (- 0.5 a) (log t) t))
0.0ms
(fma (- 0.5 a) (log t) t)
34.0ms
(+ (log (+ y x)) (- (log z) (fma (- 0.5 a) (log t) t)))

series414.0ms

Counts
3 → 9
Calls
3 calls:
104.0ms
(- (log z) (fma (- 0.5 a) (log t) t))
46.0ms
(fma (- 0.5 a) (log t) t)
264.0ms
(+ (log (+ y x)) (- (log z) (fma (- 0.5 a) (log t) t)))

simplify2.7s

Counts
107 → 107
Iterations
IterNodes
35148
21299
1453
0189

prune1.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize45.0ms

Local error

Found 3 expressions with local error:

0.1b
(- (+ (log (+ y x)) (log z)) (fma (- 0.5 a) (log t) t))
0.1b
(fma (- 0.5 a) (log t) t)
0.6b
(+ (log (+ y x)) (log z))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
49×*-un-lft-identity
28×pow1
25×log-pow distribute-lft-out
21×prod-diff
19×add-sqr-sqrt
17×add-cube-cbrt
7×log-prod fma-neg
6×add-log-exp
5×distribute-lft-out--
4×log-div associate-+l+ fma-def associate-+l-
3×expm1-log1p-u associate-+r+ flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 log1p-expm1-u
2×associate--l- sum-log diff-log fma-udef
1×+-commutative sub-neg flip3-- associate--l+ flip-- associate--r+ difference-of-squares
Counts
3 → 96
Calls
3 calls:
73.0ms
(- (+ (log (+ y x)) (log z)) (fma (- 0.5 a) (log t) t))
0.0ms
(fma (- 0.5 a) (log t) t)
9.0ms
(+ (log (+ y x)) (log z))

series425.0ms

Counts
3 → 9
Calls
3 calls:
263.0ms
(- (+ (log (+ y x)) (log z)) (fma (- 0.5 a) (log t) t))
53.0ms
(fma (- 0.5 a) (log t) t)
109.0ms
(+ (log (+ y x)) (log z))

simplify2.5s

Counts
105 → 105
Iterations
IterNodes
34875
21248
1404
0172

prune1.1s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize80.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (+ y x)) (cbrt (+ y x)))
0.5b
(cbrt (+ y x))
0.5b
(cbrt (+ y x))
0.5b
(cbrt (+ y x))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod
35×*-un-lft-identity
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt
11×pow1
9×flip3-+ pow1/3 swap-sqr flip-+ distribute-lft-out
7×associate-*r* associate-*l*
6×add-exp-log
4×expm1-log1p-u frac-times add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 107
Calls
4 calls:
30.0ms
(* (cbrt (+ y x)) (cbrt (+ y x)))
3.0ms
(cbrt (+ y x))
3.0ms
(cbrt (+ y x))
3.0ms
(cbrt (+ y x))

series711.0ms

Counts
4 → 12
Calls
4 calls:
205.0ms
(* (cbrt (+ y x)) (cbrt (+ y x)))
155.0ms
(cbrt (+ y x))
150.0ms
(cbrt (+ y x))
201.0ms
(cbrt (+ y x))

simplify2.3s

Counts
119 → 119
Iterations
IterNodes
44749
31781
2697
1278
0122

prune1.9s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.1b

localize58.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- t (+ (log z) (log y))) (* (log t) a))
0.1b
(- (* 0.5 (- (log t))) (- (- t (+ (log z) (log y))) (* (log t) a)))
0.3b
(* (log t) a)
0.4b
(+ (log z) (log y))

rewrite476.0ms

Algorithm
rewrite-expression-head
Rules
93×*-un-lft-identity
63×prod-diff
52×associate--l+
48×pow1
43×add-sqr-sqrt
42×log-pow
40×distribute-lft-out
35×add-cube-cbrt
34×associate--r+
23×add-log-exp
15×distribute-lft-out--
14×diff-log
12×log-prod
10×fma-neg
6×distribute-neg-in add-cbrt-cube add-exp-log
5×sub-neg
4×expm1-log1p-u fma-def associate-*l* insert-posit16 log1p-expm1-u
3×distribute-rgt-in associate-+l+ associate-+r+ sum-log distribute-lft-in associate-*r* difference-of-squares
2×flip3-- flip--
1×associate--l- +-commutative flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ associate--r- unswap-sqr
Counts
4 → 172
Calls
4 calls:
203.0ms
(- (- t (+ (log z) (log y))) (* (log t) a))
233.0ms
(- (* 0.5 (- (log t))) (- (- t (+ (log z) (log y))) (* (log t) a)))
13.0ms
(* (log t) a)
21.0ms
(+ (log z) (log y))

series487.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(- (- t (+ (log z) (log y))) (* (log t) a))
184.0ms
(- (* 0.5 (- (log t))) (- (- t (+ (log z) (log y))) (* (log t) a)))
109.0ms
(* (log t) a)
103.0ms
(+ (log z) (log y))

simplify5.8s

Counts
184 → 184
Iterations
IterNodes
36542
21906
1707
0269

prune1.7s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.1b

regimes711.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
216
116
014

end0.0ms

sample14.2s

Algorithm
intervals
Results
9.5s56174×body80nan
1.5s8027×body80valid