Details

Time bar (total: 44.6s)

sample337.0ms

Algorithm
intervals
Results
216.0ms1550×body80nan
44.0ms256×body80valid

simplify4.9s

Counts
1 → 1
Iterations
IterNodes
done5000
73467
61851
5984
4411
3155
261
127
015

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize29.0ms

Local error

Found 3 expressions with local error:

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

rewrite83.0ms

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

series304.0ms

Counts
3 → 9
Calls
3 calls:
37.0ms
(fma (- 0.5 a) (log t) t)
99.0ms
(- (log z) (fma (- 0.5 a) (log t) t))
168.0ms
(+ (- (log z) (fma (- 0.5 a) (log t) t)) (log (+ y x)))

simplify2.6s

Counts
115 → 115
Iterations
IterNodes
done5000
34676
21334
1464
0191

prune817.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite281.0ms

Algorithm
rewrite-expression-head
Rules
96×*-un-lft-identity
58×associate-+l+
57×log-pow
54×prod-diff
50×pow1
49×add-log-exp
48×add-sqr-sqrt
44×add-cube-cbrt
40×associate-+r+
34×distribute-lft-out
32×log-prod sum-log
18×associate--l+
16×distribute-lft-out--
14×diff-log
12×fma-def sqrt-prod
11×sqrt-pow1 pow1/2
8×associate-+r-
6×fma-neg
4×expm1-log1p-u log-div flip3-+ add-cbrt-cube add-exp-log associate-+l- flip-+ fma-udef insert-posit16 log1p-expm1-u
3×+-commutative sub-neg associate--r+
2×difference-of-squares
1×flip3-- flip--
Counts
4 → 215
Calls
4 calls:
86.0ms
(+ (- (log (sqrt z)) (fma (- 0.5 a) (log t) t)) (log (+ y x)))
171.0ms
(+ (log (sqrt z)) (+ (- (log (sqrt z)) (fma (- 0.5 a) (log t) t)) (log (+ y x))))
0.0ms
(fma (- 0.5 a) (log t) t)
15.0ms
(- (log (sqrt z)) (fma (- 0.5 a) (log t) t))

series762.0ms

Counts
4 → 12
Calls
4 calls:
234.0ms
(+ (- (log (sqrt z)) (fma (- 0.5 a) (log t) t)) (log (+ y x)))
284.0ms
(+ (log (sqrt z)) (+ (- (log (sqrt z)) (fma (- 0.5 a) (log t) t)) (log (+ y x))))
65.0ms
(fma (- 0.5 a) (log t) t)
179.0ms
(- (log (sqrt z)) (fma (- 0.5 a) (log t) t))

simplify2.1s

Counts
227 → 227
Iterations
IterNodes
done5002
22099
1682
0283

prune1.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize86.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (sqrt z)) (cbrt (sqrt z)))
0.6b
(cbrt (sqrt z))
0.6b
(cbrt (sqrt z))
0.6b
(cbrt (sqrt z))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
58×cbrt-prod
44×add-sqr-sqrt
29×sqrt-prod
22×*-un-lft-identity add-cube-cbrt
11×pow1 swap-sqr
9×pow1/3 associate-*r* associate-*l* unswap-sqr
8×add-cbrt-cube
6×add-exp-log
4×expm1-log1p-u cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative
Counts
4 → 113
Calls
4 calls:
32.0ms
(* (cbrt (sqrt z)) (cbrt (sqrt z)))
3.0ms
(cbrt (sqrt z))
2.0ms
(cbrt (sqrt z))
2.0ms
(cbrt (sqrt z))

series975.0ms

Counts
4 → 12
Calls
4 calls:
207.0ms
(* (cbrt (sqrt z)) (cbrt (sqrt z)))
226.0ms
(cbrt (sqrt z))
258.0ms
(cbrt (sqrt z))
284.0ms
(cbrt (sqrt z))

simplify3.2s

Counts
125 → 125
Iterations
IterNodes
done5000
44269
31242
2507
1188
087

prune1.0s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize58.0ms

Local error

Found 4 expressions with local error:

0.1b
(- (+ (log (sqrt z)) (- (log (sqrt z)) (* (- 0.5 a) (log t)))) (- t (log (+ y x))))
0.1b
(* (- 0.5 a) (log t))
0.2b
(+ (log (sqrt z)) (- (log (sqrt z)) (* (- 0.5 a) (log t))))
0.3b
(- (log (sqrt z)) (* (- 0.5 a) (log t)))

rewrite2.8s

Algorithm
rewrite-expression-head
Rules
663×*-un-lft-identity
384×prod-diff
341×log-pow
312×distribute-lft-out--
300×pow1
274×add-sqr-sqrt
196×associate-+r+
187×associate-*l*
157×add-cube-cbrt
155×distribute-lft-out
124×associate--l+
82×add-log-exp
76×associate-*r*
58×log-prod
53×diff-log
47×sqrt-pow1 pow1/2
39×difference-of-squares
38×associate--r+
24×sum-log
23×fma-neg
20×unswap-sqr
19×*-commutative
15×sqrt-prod
14×associate-+r-
12×distribute-rgt-in associate-+l+ distribute-lft-in
7×associate--l- associate--r-
6×fma-def add-cbrt-cube add-exp-log
5×sub-neg flip3-- flip--
4×expm1-log1p-u flip3-+ frac-sub flip-+ insert-posit16 log1p-expm1-u
2×+-commutative log-div associate-*l/
1×pow-prod-down prod-exp cbrt-unprod
Counts
4 → 652
Calls
4 calls:
2.3s
(- (+ (log (sqrt z)) (- (log (sqrt z)) (* (- 0.5 a) (log t)))) (- t (log (+ y x))))
28.0ms
(* (- 0.5 a) (log t))
225.0ms
(+ (log (sqrt z)) (- (log (sqrt z)) (* (- 0.5 a) (log t))))
118.0ms
(- (log (sqrt z)) (* (- 0.5 a) (log t)))

series706.0ms

Counts
4 → 12
Calls
4 calls:
290.0ms
(- (+ (log (sqrt z)) (- (log (sqrt z)) (* (- 0.5 a) (log t)))) (- t (log (+ y x))))
74.0ms
(* (- 0.5 a) (log t))
179.0ms
(+ (log (sqrt z)) (- (log (sqrt z)) (* (- 0.5 a) (log t))))
162.0ms
(- (log (sqrt z)) (* (- 0.5 a) (log t)))

simplify3.5s

Counts
664 → 664
Iterations
IterNodes
done5000
24609
11555
0583

prune3.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

regimes822.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done23
123
020

end0.0ms

sample14.5s

Algorithm
intervals
Results
9.6s55732×body80nan
1.5s8028×body80valid