Details

Time bar (total: 14.4s)

sample61.0ms

Algorithm
intervals
Results
16.0ms299×body80nan
14.0ms256×body80valid

simplify2.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
1148
2188
3258
4458
5848
61258
71698
82618
95918
1020428
done50008

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.4b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* x (log (/ x y))) z)
0.3b
(* x (log (/ x y)))
12.9b
(log (/ x y))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
65×log-prod
45×times-frac
43×add-sqr-sqrt
41×add-cube-cbrt *-un-lft-identity
26×distribute-rgt-in distribute-lft-in associate--l+
8×add-exp-log
7×pow1
5×add-cbrt-cube div-inv add-log-exp
4×associate-*r*
3×expm1-log1p-u associate-*l* prod-diff log1p-expm1-u
2×rem-log-exp log-pow
1×sub-neg log-div flip3-- fma-neg diff-log div-exp pow-prod-down prod-exp *-commutative flip-- cbrt-unprod unswap-sqr
Counts
3 → 117
Calls
3 calls:
16.0ms
(- (* x (log (/ x y))) z)
27.0ms
(* x (log (/ x y)))
3.0ms
(log (/ x y))

series202.0ms

Counts
3 → 9
Calls
3 calls:
108.0ms
(- (* x (log (/ x y))) z)
53.0ms
(* x (log (/ x y)))
41.0ms
(log (/ x y))

simplify1.2s

Counts
126 → 126
Iterations

Useful iterations: done (1.2s)

IterNodesCost
02151393
15001299
215131223
done50011219

prune500.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
4.0b
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
9×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
5×pow1 log-prod rem-log-exp
4×expm1-log1p-u div-exp prod-exp add-cbrt-cube log1p-expm1-u add-log-exp
3×pow1/3
1×log-div times-frac log-pow div-inv
Counts
4 → 60
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
13.0ms
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

series995.0ms

Counts
4 → 12
Calls
4 calls:
295.0ms
(cbrt x)
272.0ms
(cbrt x)
257.0ms
(cbrt x)
171.0ms
(log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))

simplify817.0ms

Counts
72 → 72
Iterations

Useful iterations: done (815.0ms)

IterNodesCost
075539
1144515
2340418
31178376
done5001373

prune421.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u pow1/3 add-cbrt-cube log1p-expm1-u add-log-exp
Counts
4 → 52
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.4s

Counts
4 → 12
Calls
4 calls:
267.0ms
(cbrt y)
241.0ms
(cbrt x)
572.0ms
(cbrt x)
303.0ms
(cbrt x)

simplify1.1s

Counts
64 → 64
Iterations

Useful iterations: 3 (118.0ms)

IterNodesCost
046284
181268
2210244
3640232
41940232
done5000232

prune355.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(+ (- (log (* (cbrt y) (cbrt y)))) (log (/ x (cbrt y))))
4.6b
(log (/ x (cbrt y)))

rewrite134.0ms

Algorithm
rewrite-expression-head
Rules
45×log-prod
43×*-un-lft-identity
36×times-frac
35×add-sqr-sqrt add-cube-cbrt
31×pow1
28×fma-def
27×log-pow
24×cbrt-prod
22×associate-+r+
18×distribute-rgt-neg-in
14×pow1/3
12×distribute-lft-neg-in
8×distribute-lft-out
7×add-exp-log
6×pow-prod-down
5×add-log-exp
4×expm1-log1p-u pow-sqr pow-prod-up add-cbrt-cube log1p-expm1-u
2×pow2 log-div pow-plus rem-log-exp sum-log div-inv
1×+-commutative neg-sub0 associate-+l- associate-+r- neg-mul-1 associate-+l+ distribute-neg-in flip3-+ div-exp neg-log flip-+
Counts
4 → 136
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
119.0ms
(+ (- (log (* (cbrt y) (cbrt y)))) (log (/ x (cbrt y))))
5.0ms
(log (/ x (cbrt y)))

series914.0ms

Counts
4 → 12
Calls
4 calls:
197.0ms
(cbrt y)
241.0ms
(cbrt y)
330.0ms
(+ (- (log (* (cbrt y) (cbrt y)))) (log (/ x (cbrt y))))
145.0ms
(log (/ x (cbrt y)))

simplify871.0ms

Counts
148 → 148
Iterations

Useful iterations: done (866.0ms)

IterNodesCost
01911405
14281193
215211081
done50011033

prune696.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

regimes159.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01626
11926
done1926

end0.0ms

sample1.7s

Algorithm
intervals
Results
508.0ms8026×body80valid
382.0ms8032×body80nan