Details

Time bar (total: 16.1s)

sample132.0ms

Algorithm
intervals
Results
31.0ms634×body80valid
30.0ms732×body80nan

simplify6.3s

Counts
1 → 1
Iterations

Useful iterations: 2 (5.0ms)

IterNodesCost
089
1179
2378
3708
41018
51748
64168
713298
845868
done50008

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(exp (- (fma y (log y) x) z))
0.0b
(- (fma y (log y) x) z)
0.1b
(fma y (log y) x)

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity
18×prod-diff
17×add-cube-cbrt
12×exp-sum
8×add-log-exp
5×exp-prod
3×pow1 add-exp-log expm1-log1p-u fma-neg add-cbrt-cube fma-udef log1p-expm1-u
2×sub-neg diff-log associate--l+ rem-exp-log distribute-lft-out-- difference-of-squares
1×flip3-- exp-diff flip--
Counts
3 → 68
Calls
3 calls:
21.0ms
(exp (- (fma y (log y) x) z))
14.0ms
(- (fma y (log y) x) z)
1.0ms
(fma y (log y) x)

series245.0ms

Counts
3 → 9
Calls
3 calls:
58.0ms
(exp (- (fma y (log y) x) z))
69.0ms
(- (fma y (log y) x) z)
118.0ms
(fma y (log y) x)

simplify3.1s

Counts
77 → 77
Iterations

Useful iterations: done (3.1s)

IterNodesCost
01131125
1220936
2497790
31950692
done5002627

prune209.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (fma y (log y) x) z)
0.1b
(pow E (- (fma y (log y) x) z))
0.1b
(fma y (log y) x)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt *-un-lft-identity
18×add-cube-cbrt prod-diff
12×unpow-prod-up
5×pow-unpow add-log-exp
4×pow1 add-exp-log
3×expm1-log1p-u unpow-prod-down fma-neg add-cbrt-cube fma-udef log1p-expm1-u
2×sub-neg pow-exp associate--l+ distribute-lft-out-- difference-of-squares
1×pow-to-exp e-exp-1 flip3-- pow-pow diff-log flip-- pow-sub sqr-pow
Counts
3 → 74
Calls
3 calls:
7.0ms
(- (fma y (log y) x) z)
8.0ms
(pow E (- (fma y (log y) x) z))
0.0ms
(fma y (log y) x)

series179.0ms

Counts
3 → 9
Calls
3 calls:
64.0ms
(- (fma y (log y) x) z)
39.0ms
(pow E (- (fma y (log y) x) z))
76.0ms
(fma y (log y) x)

simplify2.7s

Counts
83 → 83
Iterations

Useful iterations: done (2.7s)

IterNodesCost
01301289
12951072
2670917
32457814
done5001750

prune189.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes62.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
done78

end0.0ms

sample2.9s

Algorithm
intervals
Results
775.0ms19192×body80valid
581.0ms19168×body80nan