Details

Time bar (total: 13.0s)

sample228.0ms

Algorithm
intervals
Results
101.0ms945×body80nan
29.0ms294×body80valid

simplify11.6s

Counts
1 → 1
Iterations

Useful iterations: 2 (23.0ms)

IterNodesCost
02021
13920
210918
342418
4140018
5358218
done500018

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x (log y)) z)
0.0b
(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
0.2b
(* (- b 0.5) (log c))
0.2b
(* x (log y))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
24×log-prod *-un-lft-identity
23×add-sqr-sqrt
20×add-log-exp
17×add-cube-cbrt
12×distribute-rgt-in distribute-lft-in
11×sum-log
10×pow1
8×add-exp-log associate-*r* associate-*l* add-cbrt-cube
7×associate-+l+
6×associate-+r+ fma-def associate-*l/
4×expm1-log1p-u flip3-+ frac-add flip-+ log1p-expm1-u
3×flip3-- flip-- distribute-lft-out
2×+-commutative pow-prod-down prod-exp log-pow *-commutative cbrt-unprod unswap-sqr
1×distribute-lft-out-- difference-of-squares
Counts
4 → 110
Calls
4 calls:
12.0ms
(+ (* x (log y)) z)
1.1s
(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
33.0ms
(* (- b 0.5) (log c))
9.0ms
(* x (log y))

series8.0ms