Details

Time bar (total: 41.7s)

sample228.0ms

Algorithm
intervals
Results
83.0ms758×body80nan
32.0ms180×body80valid
14.0ms22×body640valid
11.0ms10×body1280valid
10.0ms26×body320valid
5.0ms19×body160valid

simplify15.5s

Counts
1 → 1
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
01417
12716
25716
313016
428116
564916
6137216
7248416
8332916
9355716
10356116
done356116

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.7b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
0.0b
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
0.1b
(* (- x 1.0) (log y))
6.3b
(log (- 1.0 y))

rewrite237.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
30×*-un-lft-identity
27×log-prod
20×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in add-log-exp
10×associate-+r+ associate-*l/
9×prod-diff
8×pow1
7×add-exp-log flip3-- flip--
6×associate-+l+ add-cbrt-cube
5×associate-*l* distribute-lft-out-- difference-of-squares
4×expm1-log1p-u associate-*r* frac-add log1p-expm1-u
3×fma-neg
2×log-div diff-log sum-log log-pow
1×+-commutative sub-neg fma-def flip3-+ rem-log-exp pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 113
Calls
4 calls:
146.0ms
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
40.0ms
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
40.0ms
(* (- x 1.0) (log y))
6.0ms
(log (- 1.0 y))

series622.0ms

Counts
4 → 12
Calls
4 calls:
271.0ms
(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
189.0ms
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
101.0ms
(* (- x 1.0) (log y))
61.0ms
(log (- 1.0 y))

simplify2.2s

Counts
125 → 125
Iterations

Useful iterations: done (2.2s)

IterNodesCost
02812381
17412087
224551887
done50001787

prune642.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- z 1.0) (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
0.0b
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
0.1b
(* (- x 1.0) (log y))

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
53×add-sqr-sqrt
50×*-un-lft-identity
48×prod-diff
43×add-cube-cbrt
40×distribute-rgt-in distribute-lft-in
34×associate-+r+
27×flip3-- flip--
24×log-prod associate-*l/
21×pow1
16×frac-add
14×log-pow
12×frac-times associate--l+
10×associate-*r* associate-*l*
7×add-exp-log add-cbrt-cube
6×associate-+l+ associate-*r/
5×add-log-exp
4×sub-neg distribute-lft-out--
3×expm1-log1p-u log1p-expm1-u difference-of-squares
2×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×+-commutative fma-def flip3-+ sum-log flip-+
Counts
3 → 168
Calls
3 calls:
48.0ms
(* (- z 1.0) (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
57.0ms
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
24.0ms
(* (- x 1.0) (log y))

series407.0ms

Counts
3 → 9
Calls
3 calls:
103.0ms
(* (- z 1.0) (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
239.0ms
(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
65.0ms
(* (- x 1.0) (log y))

simplify2.6s

Counts
177 → 177
Iterations

Useful iterations: 2 (1.3s)

IterNodesCost
03657828
19906011
245225383
done50005383

prune842.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt y) (cbrt y))
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 81
Calls
4 calls:
12.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
2.0ms
(cbrt y)

series847.0ms

Counts
4 → 12
Calls
4 calls:
228.0ms
(* (cbrt y) (cbrt y))
197.0ms
(cbrt y)
199.0ms
(cbrt y)
222.0ms
(cbrt y)

simplify4.5s

Counts
93 → 93
Iterations

Useful iterations: done (4.5s)

IterNodesCost
065554
1119443
2327423
31104405
44523400
done5001390

prune720.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt y) (cbrt y))
0.6b
(cbrt y)
0.6b
(cbrt y)
5.0b
(pow y 1/3)

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
22×cbrt-prod
16×add-cube-cbrt *-un-lft-identity
12×pow1
8×pow1/3
7×add-exp-log
6×swap-sqr associate-*r* associate-*l*
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp unswap-sqr
3×unpow-prod-down pow-unpow
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-to-exp pow-pow pow-plus unpow1/3 pow-exp prod-exp *-commutative cbrt-unprod sqr-pow
Counts
4 → 88
Calls
4 calls:
29.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
3.0ms
(pow y 1/3)

series1.1s

Counts
4 → 12
Calls
4 calls:
295.0ms
(* (cbrt y) (cbrt y))
268.0ms
(cbrt y)
299.0ms
(cbrt y)
242.0ms
(pow y 1/3)

simplify1.9s

Counts
100 → 100
Iterations

Useful iterations: done (1.9s)

IterNodesCost
095609
1176472
2496410
31905385
done5000382

prune865.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

regimes401.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02944
13344
done3344

end0.0ms

sample7.7s

Algorithm
intervals
Results
3.1s24052×body80nan
734.0ms5836×body80valid
693.0ms685×body320valid
526.0ms772×body640valid
482.0ms483×body160valid
311.0ms264×body1280valid