Details

Time bar (total: 17.2s)

sample87.0ms

Algorithm
intervals
Results
54.0ms375×body80valid

simplify310.0ms

Counts
1 → 1
Iterations

Useful iterations: 4 (122.0ms)

IterNodesCost
01315
12615
26712
313611
418010
519110
619410
done19410

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
8×pow1 add-exp-log add-cbrt-cube
6×add-sqr-sqrt add-cube-cbrt fma-def *-un-lft-identity
4×sum-log
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 → 54
Calls
3 calls:
12.0ms
(+ x (* y z))
41.0ms
(+ (+ x (* y z)) (* t a))
29.0ms
(* (* a z) b)

series160.0ms

Counts
3 → 9
Calls
3 calls:
37.0ms
(+ x (* y z))
89.0ms
(+ (+ x (* y z)) (* t a))
34.0ms
(* (* a z) b)

simplify3.3s

Counts
63 → 63
Iterations

Useful iterations: 3 (1.9s)

IterNodesCost
099536
1275469
21056408
34222407
done5000407

prune283.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma z y (fma (fma z b t) a x))
2.9b
(fma (fma z b t) a x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
2×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
2 → 20
Calls
2 calls:
0.0ms
(fma z y (fma (fma z b t) a x))
0.0ms
(fma (fma z b t) a x)

series306.0ms

Counts
2 → 6
Calls
2 calls:
187.0ms
(fma z y (fma (fma z b t) a x))
120.0ms
(fma (fma z b t) a x)

simplify3.0s

Counts
26 → 26
Iterations

Useful iterations: 3 (88.0ms)

IterNodesCost
037287
160281
2132239
3512237
43583237
done5000237

prune132.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 3 expressions with local error:

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

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
8×pow1 add-exp-log add-cbrt-cube
6×add-sqr-sqrt add-cube-cbrt fma-def *-un-lft-identity
4×sum-log
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 → 54
Calls
3 calls:
7.0ms
(+ x (* y z))
32.0ms
(+ (+ x (* y z)) (* t a))
25.0ms
(* a (* z b))

series148.0ms

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

simplify2.6s

Counts
63 → 63
Iterations

Useful iterations: 3 (1.4s)

IterNodesCost
095533
1265468
2963421
33851406
done5000406

prune260.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt a)
0.7b
(cbrt a)
3.1b
(* (cbrt a) (* z b))
3.7b
(* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1 add-exp-log
18×pow-prod-down prod-exp add-cbrt-cube cbrt-unprod
9×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×associate-*l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×pow1/3 associate-*r* *-commutative
Counts
4 → 79
Calls
4 calls:
1.0ms
(cbrt a)
1.0ms
(cbrt a)
19.0ms
(* (cbrt a) (* z b))
96.0ms
(* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))

series831.0ms

Counts
4 → 12
Calls
4 calls:
270.0ms
(cbrt a)
282.0ms
(cbrt a)
192.0ms
(* (cbrt a) (* z b))
86.0ms
(* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))

simplify5.1s

Counts
91 → 91
Iterations

Useful iterations: 3 (2.3s)

IterNodesCost
092852
1219823
2860581
34056477
done5001477

prune409.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes3.0ms