Details

Time bar (total: 16.4s)

sample179.0ms

Algorithm
intervals
Results
73.0ms818×body80nan
15.0ms189×body80valid
11.0ms24×body640valid
9.0ms11×body1280valid
5.0ms19×body320valid
3.0ms13×body160valid

simplify685.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01213
12212
23812
35312
46112
57812
611312
723812
876712
done500012

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.7b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (log (- 1.0 y)))
0.0b
(- (fma x (log y) (* z (log (- 1.0 y)))) t)
0.3b
(fma x (log y) (* z (log (- 1.0 y))))
4.2b
(log (- 1.0 y))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
24×*-un-lft-identity
16×add-cube-cbrt
15×log-prod
9×prod-diff
8×pow1
7×add-exp-log
6×add-cbrt-cube add-log-exp
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u associate-*r* log1p-expm1-u distribute-lft-out-- difference-of-squares
3×fma-neg associate-*l*
2×log-div flip3-- log-pow flip-- fma-udef
1×sub-neg diff-log rem-log-exp pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod unswap-sqr
Counts
4 → 88
Calls
4 calls:
27.0ms
(* z (log (- 1.0 y)))
13.0ms
(- (fma x (log y) (* z (log (- 1.0 y)))) t)
1.0ms
(fma x (log y) (* z (log (- 1.0 y))))
12.0ms
(log (- 1.0 y))

series826.0ms

Counts
4 → 12
Calls
4 calls:
106.0ms
(* z (log (- 1.0 y)))
114.0ms
(- (fma x (log y) (* z (log (- 1.0 y)))) t)
115.0ms
(fma x (log y) (* z (log (- 1.0 y))))
490.0ms
(log (- 1.0 y))

simplify849.0ms

Counts
100 → 100
Iterations

Useful iterations: done (845.0ms)

IterNodesCost
02041528
14881381
215551220
done50001128

prune468.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 3 expressions with local error:

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

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
48×add-exp-log
25×prod-exp
20×associate-*r*
18×add-sqr-sqrt
14×add-cbrt-cube
12×div-exp
10×add-cube-cbrt *-un-lft-identity
8×pow-to-exp times-frac pow-exp
7×unpow-prod-down
6×associate-*l*
5×pow1 cbrt-unprod unswap-sqr
3×expm1-log1p-u log1p-expm1-u unpow2 add-log-exp sqr-pow
2×cbrt-undiv *-commutative
1×associate-*r/ pow-prod-down fma-udef div-inv
Counts
3 → 83
Calls
3 calls:
41.0ms
(* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))
1.0ms
(fma x (log y) (- (* z (- (log 1.0) (* y 1.0))) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))
17.0ms
(* z (pow y 2))

series348.0ms

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

simplify834.0ms

Counts
92 → 92
Iterations

Useful iterations: done (831.0ms)

IterNodesCost
01571249
13971149
21692999
done5001998

prune415.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
51×add-exp-log
31×add-sqr-sqrt
26×prod-exp
24×associate-*r* associate--l+
21×add-cube-cbrt associate-+r+ *-un-lft-identity
18×log-prod
17×add-cbrt-cube
15×distribute-rgt-in distribute-lft-in
12×div-exp
11×pow1
9×associate-*l* prod-diff add-log-exp
8×pow-to-exp times-frac pow-exp
7×unpow-prod-down
6×associate-+l+ cbrt-unprod unswap-sqr
4×expm1-log1p-u log1p-expm1-u
3×sub-neg log-pow *-commutative unpow2 sqr-pow
2×cbrt-undiv pow-prod-down sum-log
1×+-commutative associate-+r- fma-def flip3-+ diff-log associate-*r/ flip-+ div-inv
Counts
4 → 143
Calls
4 calls:
41.0ms
(* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))
68.0ms
(+ (* x (log y)) (- (* z (- (log 1.0) (* y 1.0))) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))
14.0ms
(* x (log y))
20.0ms
(* z (pow y 2))

series387.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))
203.0ms
(+ (* x (log y)) (- (* z (- (log 1.0) (* y 1.0))) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))
43.0ms
(* x (log y))
50.0ms
(* z (pow y 2))

simplify1.5s

Counts
155 → 155
Iterations

Useful iterations: done (1.5s)

IterNodesCost
02702165
16931983
227141773
done50001760

prune934.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 3 expressions with local error:

0.0b
(* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))
0.3b
(* x (log y))
5.8b
(* z (pow y 2))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
50×add-exp-log
26×prod-exp
24×add-sqr-sqrt associate-*r*
16×add-cbrt-cube
14×add-cube-cbrt *-un-lft-identity
12×div-exp
9×associate-*l*
8×pow1 pow-to-exp times-frac pow-exp
7×unpow-prod-down
6×log-prod cbrt-unprod unswap-sqr
3×distribute-rgt-in expm1-log1p-u distribute-lft-in *-commutative log1p-expm1-u unpow2 add-log-exp sqr-pow
2×cbrt-undiv pow-prod-down
1×associate-*r/ log-pow div-inv
Counts
3 → 100
Calls
3 calls:
35.0ms
(* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))
9.0ms
(* x (log y))
16.0ms
(* z (pow y 2))

series152.0ms

Counts
3 → 9
Calls
3 calls:
73.0ms
(* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))
47.0ms
(* x (log y))
32.0ms
(* z (pow y 2))

simplify869.0ms

Counts
109 → 109
Iterations

Useful iterations: done (865.0ms)

IterNodesCost
01881107
14501007
21833887
done5000886

prune613.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

regimes284.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02945
13745
done3745

end0.0ms

sample6.7s

Algorithm
intervals
Results
3.2s25077×body80nan
502.0ms5562×body80valid
446.0ms851×body640valid
340.0ms406×body1280valid
236.0ms766×body320valid
71.0ms439×body160valid