Details

Time bar (total: 4.7s)

sample68.0ms

Algorithm
intervals
Results
35.0ms389×body80valid

simplify299.0ms

Counts
1 → 1
Iterations

Useful iterations: 4 (111.0ms)

IterNodesCost
01315
12615
26712
313611
418010
519110
619410
done19410

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
0.0b
(+ x (* y z))
5.8b
(* (* a z) b)

rewrite212.0ms

Algorithm
rewrite-expression-head
Rules
14×add-log-exp
8×pow1 add-exp-log add-cbrt-cube
7×sum-log
6×add-sqr-sqrt add-cube-cbrt fma-def *-un-lft-identity
3×expm1-log1p-u associate-*r* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u
2×+-commutative flip3-+ flip-+
1×associate-+l+ associate-*l* *-commutative
Counts
3 → 55
Calls
3 calls:
163.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
11.0ms
(+ x (* y z))
35.0ms
(* (* a z) b)

series213.0ms

Counts
3 → 9
Calls
3 calls:
122.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
46.0ms
(+ x (* y z))
45.0ms
(* (* a z) b)

simplify1.6s

Counts
64 → 64
Iterations

Useful iterations: done (1.6s)

IterNodesCost
0104691
1288598
21203521
done5000482

prune310.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (+ (+ x (* y z)) (* t a)) (* a (* z b)))
0.0b
(+ x (* y z))
6.2b
(* a (* z b))

rewrite178.0ms

Algorithm
rewrite-expression-head
Rules
14×add-log-exp
8×pow1 add-exp-log add-cbrt-cube
7×sum-log
6×add-sqr-sqrt add-cube-cbrt fma-def *-un-lft-identity
3×expm1-log1p-u associate-*l* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u
2×+-commutative flip3-+ flip-+
1×associate-+l+ associate-*r* *-commutative
Counts
3 → 55
Calls
3 calls:
132.0ms
(+ (+ (+ x (* y z)) (* t a)) (* a (* z b)))
11.0ms
(+ x (* y z))
33.0ms
(* a (* z b))

series209.0ms

Counts
3 → 9
Calls
3 calls:
116.0ms
(+ (+ (+ x (* y z)) (* t a)) (* a (* z b)))
47.0ms
(+ x (* y z))
46.0ms
(* a (* z b))

simplify1.1s

Counts
64 → 64
Iterations

Useful iterations: done (1.1s)

IterNodesCost
0100688
1278597
21080520
done5000481

prune271.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

5.8b
(* (* a z) b)
5.8b
(* (* a z) b)
12.3b
(sqrt (* (* a z) b))
12.3b
(sqrt (* (* a z) b))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
26×pow1
14×add-exp-log add-cbrt-cube
12×pow-prod-down
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity sqrt-pow1 associate-*r* prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×pow1/2 associate-*l* sqrt-prod *-commutative
Counts
4 → 68
Calls
4 calls:
18.0ms
(* (* a z) b)
32.0ms
(* (* a z) b)
20.0ms
(sqrt (* (* a z) b))
22.0ms
(sqrt (* (* a z) b))

series8.0ms