Details

Time bar (total: 19.1s)

sample190.0ms

Algorithm
intervals
Results
61.0ms836×body80nan
44.0ms172×body80valid
15.0ms32×body640valid
12.0ms14×body1280valid
6.0ms24×body320valid
2.0ms14×body160valid

simplify14.8s

Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
012345
122320
238320
351320
456320
569320
691320
7133320
8205320
9303320
10495320
11823320
12934320
131006320
141056320
151123320
161173320
171244320
181298320
191369320
201419320
211486320
221536320
231607320
241661320
251732320
261782320
271849320
281899320
291970320
302024320
312095320
322145320
332214320
342264320
352335320
362389320
372460320
382510320
392577320
402627320
412698320
422752320
432823320
442873320
452940320
462990320
473058320
483112320
493179320
503229320
513298320
523348320
533419320
543473320
553541320
563591320
573658320
583708320
593779320
603833320
613904320
623954320
634023320
644073320
654141320
664195320
674262320
684312320
694381320
704431320
714502320
724556320
734627320
744677320
754744320
764794320
774865320
784919320
794987320
done5001320

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.3b

localize38.0ms

Local error

Found 3 expressions with local error:

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

rewrite37.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 cbrt-unprod fma-udef flip-- unswap-sqr
Counts
3 → 59
Calls
3 calls:
23.0ms
(* z (log (- 1.0 y)))
1.0ms
(fma x (log y) (* z (log (- 1.0 y))))
10.0ms
(log (- 1.0 y))

series307.0ms

Counts
3 → 9
Calls
3 calls:
111.0ms
(* z (log (- 1.0 y)))
113.0ms
(fma x (log y) (* z (log (- 1.0 y))))
82.0ms
(log (- 1.0 y))

simplify2.5s

Counts
68 → 68
Iterations

Useful iterations: done (2.5s)

IterNodesCost
014921366
134218635
284218279
3237617979
done500417864

prune450.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
68×add-sqr-sqrt
55×*-un-lft-identity
52×add-cube-cbrt
43×times-frac
36×add-cbrt-cube add-exp-log
24×prod-diff
20×pow1
19×associate-*r*
17×distribute-rgt-in distribute-lft-in
16×associate-*l*
13×cbrt-undiv swap-sqr div-exp
9×prod-exp cbrt-unprod
7×log-pow
6×log-prod associate--l+
5×div-inv unswap-sqr
4×expm1-log1p-u associate-*r/ log1p-expm1-u add-log-exp
3×associate-/r/ associate-/l*
2×frac-times sub-neg pow-prod-down associate-*l/ *-commutative distribute-lft-out--
1×pow2 clear-num associate-/r* frac-2neg pow-plus flip3-- pow-sqr pow-prod-up fma-udef flip-- difference-of-squares
Counts
4 → 170
Calls
4 calls:
24.0ms
(* z (- (log 1.0) (fma 1.0 y (/ 1/2 (* (/ 1.0 y) (/ 1.0 y))))))
0.0ms
(fma x (log y) (* z (- (log 1.0) (fma 1.0 y (/ 1/2 (* (/ 1.0 y) (/ 1.0 y)))))))
19.0ms
(* (/ 1.0 y) (/ 1.0 y))
11.0ms
(/ 1/2 (* (/ 1.0 y) (/ 1.0 y)))

series351.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(* z (- (log 1.0) (fma 1.0 y (/ 1/2 (* (/ 1.0 y) (/ 1.0 y))))))
166.0ms
(fma x (log y) (* z (- (log 1.0) (fma 1.0 y (/ 1/2 (* (/ 1.0 y) (/ 1.0 y)))))))
37.0ms
(* (/ 1.0 y) (/ 1.0 y))
45.0ms
(/ 1/2 (* (/ 1.0 y) (/ 1.0 y)))

simplify279.0ms

Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
028867719