Details

Time bar (total: 2.4s)

sample19.0ms

Algorithm
intervals
Results
8.0ms316×body80valid
0.0ms1×body160valid

simplify138.0ms

Counts
1 → 1
Iterations

Useful iterations: 3 (12.0ms)

IterNodesCost
01113
12012
24910
31189
42309
52749
62869
done2869

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ d2 (+ d3 5.0))
0.0b
(+ 32.0 (+ d2 (+ d3 5.0)))
0.0b
(* d1 (+ 32.0 (+ d2 (+ d3 5.0))))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
17×add-log-exp
15×distribute-lft-out
9×add-sqr-sqrt sum-log
7×add-cube-cbrt
6×fma-def associate-*r*
5×pow1 add-exp-log add-cbrt-cube
3×expm1-log1p-u flip3-+ associate-*l* flip-+ log1p-expm1-u
2×+-commutative associate-+r+ associate-*r/
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 69
Calls
3 calls:
8.0ms
(+ d2 (+ d3 5.0))
25.0ms
(+ 32.0 (+ d2 (+ d3 5.0)))
88.0ms
(* d1 (+ 32.0 (+ d2 (+ d3 5.0))))

series55.0ms

Counts
3 → 9
Calls
3 calls:
12.0ms
(+ d2 (+ d3 5.0))
13.0ms
(+ 32.0 (+ d2 (+ d3 5.0)))
29.0ms
(* d1 (+ 32.0 (+ d2 (+ d3 5.0))))

simplify361.0ms

Counts
78 → 78
Iterations

Useful iterations: 2 (83.0ms)

IterNodesCost
099722
1297673
21016620
done5000620

prune133.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(* d1 (+ d2 (+ d3 5.0)))
0.0b
(+ d2 (+ d3 5.0))
0.0b
(+ (* d1 32.0) (* d1 (+ d2 (+ d3 5.0))))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
16×*-un-lft-identity
10×add-log-exp
8×add-sqr-sqrt
7×distribute-lft-out
6×add-cube-cbrt
5×pow1 add-exp-log associate-*r* add-cbrt-cube
4×fma-def sum-log
3×expm1-log1p-u associate-+r+ flip3-+ associate-*l* flip-+ log1p-expm1-u
2×+-commutative distribute-rgt-in distribute-lft-in associate-*r/
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 63
Calls
3 calls:
29.0ms
(* d1 (+ d2 (+ d3 5.0)))
10.0ms
(+ d2 (+ d3 5.0))
3.0ms
(+ (* d1 32.0) (* d1 (+ d2 (+ d3 5.0))))

series83.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(* d1 (+ d2 (+ d3 5.0)))
16.0ms
(+ d2 (+ d3 5.0))
38.0ms
(+ (* d1 32.0) (* d1 (+ d2 (+ d3 5.0))))

simplify429.0ms

Counts
72 → 72
Iterations

Useful iterations: done (425.0ms)

IterNodesCost
099733
1300640
21173590
done5001589

prune136.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (* d2 d2) (- (* (+ d3 5.0) (+ d3 5.0)) (* d2 (+ d3 5.0))))
2.9b
(* d1 (+ (pow d2 3) (pow (+ d3 5.0) 3)))
3.0b
(+ (pow d2 3) (pow (+ d3 5.0) 3))
23.3b
(/ (* d1 (+ (pow d2 3) (pow (+ d3 5.0) 3))) (+ (* d2 d2) (- (* (+ d3 5.0) (+ d3 5.0)) (* d2 (+ d3 5.0)))))

rewrite228.0ms

Algorithm
rewrite-expression-head
Rules
55×*-un-lft-identity
26×distribute-lft-out
19×unpow-prod-down cube-prod
13×add-sqr-sqrt fma-def associate-*r*
11×add-exp-log add-cube-cbrt add-cbrt-cube add-log-exp
6×pow1
5×associate-+r+ flip3-+ flip-+
4×expm1-log1p-u associate-*r/ log1p-expm1-u
3×times-frac associate-*l* associate-/r* sum-log
2×cbrt-undiv +-commutative distribute-rgt-in distribute-lft-in div-exp prod-exp associate--l+ associate-/r/ sum-cubes cbrt-unprod associate-/l/
1×cube-mult associate-+r- sub-neg frac-2neg diff-log unpow3 prod-diff pow-prod-down clear-num *-commutative div-inv associate-/l* unswap-sqr sqr-pow
Counts
4 → 117
Calls
4 calls:
17.0ms
(+ (* d2 d2) (- (* (+ d3 5.0) (+ d3 5.0)) (* d2 (+ d3 5.0))))
92.0ms
(* d1 (+ (pow d2 3) (pow (+ d3 5.0) 3)))
32.0ms
(+ (pow d2 3) (pow (+ d3 5.0) 3))
83.0ms
(/ (* d1 (+ (pow d2 3) (pow (+ d3 5.0) 3))) (+ (* d2 d2) (- (* (+ d3 5.0) (+ d3 5.0)) (* d2 (+ d3 5.0)))))

series448.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(+ (* d2 d2) (- (* (+ d3 5.0) (+ d3 5.0)) (* d2 (+ d3 5.0))))
156.0ms
(* d1 (+ (pow d2 3) (pow (+ d3 5.0) 3)))
57.0ms
(+ (pow d2 3) (pow (+ d3 5.0) 3))
200.0ms
(/ (* d1 (+ (pow d2 3) (pow (+ d3 5.0) 3))) (+ (* d2 d2) (- (* (+ d3 5.0) (+ d3 5.0)) (* d2 (+ d3 5.0)))))

simplify147.0ms

Iterations

Useful iterations: 1 (45.0ms)

IterNodesCost
01772426
15221990