Details

Time bar (total: 7.0s)

sample101.0ms

Algorithm
intervals
Results
39.0ms839×body80nan
9.0ms30×body640valid
9.0ms176×body80valid
7.0ms12×body1280valid
4.0ms24×body320valid
1.0ms14×body160valid

simplify26.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0227
1386
2536
3616
4786
51106
61756
72846
83636
93926
104766
114766

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.4b

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(* z (log (- 1.0 y)))
0.2b
(fma (log y) x (- (* z (log (- 1.0 y))) t))
5.2b
(log (- 1.0 y))

rewrite13.0ms

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

series231.0ms

Counts
3 → 9
Calls
3 calls:
69.0ms
(* z (log (- 1.0 y)))
116.0ms
(fma (log y) x (- (* z (log (- 1.0 y))) t))
45.0ms
(log (- 1.0 y))

simplify105.0ms

Algorithm
egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 3 (99.0ms)

IterNodesCost
0332427
11128376
24553369
35001366

prune221.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.0ms

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

series368.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))
110.0ms
(fma 1.0 (* z y) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))))
165.0ms
(fma (log y) x (- (fma z (log 1.0) (- (fma 1.0 (* z y) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))) t))
30.0ms
(* z (pow y 2))

simplify53.0ms

Algorithm
egg-herbie
Counts
105 → 105
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0380697
11716603
25001603

prune393.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (cbrt (fma (log y) x (- (fma z (log 1.0) (- (fma 1.0 (* z y) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))) t))) (cbrt (fma (log y) x (- (fma z (log 1.0) (- (fma 1.0 (* z y) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))) t))))
5.8b
(* z (pow y 2))
5.8b
(* z (pow y 2))
5.8b
(* z (pow y 2))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
47×add-sqr-sqrt
30×associate-*r*
21×add-exp-log add-cube-cbrt *-un-lft-identity
16×cbrt-prod unswap-sqr
15×associate-*l*
12×unpow-prod-down
11×pow1
10×prod-exp add-cbrt-cube
6×pow1/3 swap-sqr unpow2 sqr-pow
4×expm1-log1p-u *-commutative cbrt-unprod log1p-expm1-u add-log-exp
3×pow-to-exp pow-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus
Counts
4 → 129
Calls
4 calls:
5.0ms
(* (cbrt (fma (log y) x (- (fma z (log 1.0) (- (fma 1.0 (* z y) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))) t))) (cbrt (fma (log y) x (- (fma z (log 1.0) (- (fma 1.0 (* z y) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))) t))))
6.0ms
(* z (pow y 2))
6.0ms
(* z (pow y 2))
6.0ms
(* z (pow y 2))

series446.0ms

Counts
4 → 12
Calls
4 calls:
349.0ms
(* (cbrt (fma (log y) x (- (fma z (log 1.0) (- (fma 1.0 (* z y) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))) t))) (cbrt (fma (log y) x (- (fma z (log 1.0) (- (fma 1.0 (* z y) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))) t))))
33.0ms
(* z (pow y 2))
30.0ms
(* z (pow y 2))
34.0ms
(* z (pow y 2))

simplify57.0ms

Algorithm
egg-herbie
Counts
141 → 141
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
03621776
114271610
250011428

prune750.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.1b

localize30.0ms

Local error

Found 4 expressions with local error:

5.8b
(* z (pow y 2))
5.8b
(* z (pow y 2))
5.8b
(* z (pow y 2))
5.8b
(* z (pow y 2))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
32×associate-*r*
24×add-exp-log
16×add-cube-cbrt unpow-prod-down *-un-lft-identity unswap-sqr
12×associate-*l* prod-exp add-cbrt-cube
8×unpow2 sqr-pow
4×pow1 expm1-log1p-u pow-to-exp pow-exp *-commutative cbrt-unprod log1p-expm1-u add-log-exp
Counts
4 → 116
Calls
4 calls:
6.0ms
(* z (pow y 2))
9.0ms
(* z (pow y 2))
6.0ms
(* z (pow y 2))
6.0ms
(* z (pow y 2))

series122.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(* z (pow y 2))
35.0ms
(* z (pow y 2))
29.0ms
(* z (pow y 2))
29.0ms
(* z (pow y 2))

simplify77.0ms

Algorithm
egg-herbie
Counts
128 → 128
Iterations

Useful iterations: 3 (70.0ms)

IterNodesCost
0109456
1438372
22009372
35001368

prune766.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.1b

regimes256.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02313
12313

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.1s24011×body80nan
289.0ms5595×body80valid
273.0ms935×body640valid
222.0ms378×body1280valid
120.0ms682×body320valid
46.0ms438×body160valid