Details

Time bar (total: 16.3s)

sample40.0ms

Algorithm
intervals
Results
14.0ms256×body80valid
12.0ms256×pre80true

simplify181.0ms

Counts
1 → 1
Iterations
IterNodes
done311
5311
4279
3144
253
117
09

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.6b

localize22.0ms

Local error

Found 2 expressions with local error:

0.5b
(+ b (+ c d))
2.5b
(+ a (+ b (+ c d)))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
16×*-un-lft-identity add-log-exp
9×sum-log distribute-lft-out
2×add-sqr-sqrt pow1 +-commutative associate-+r+ flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
Counts
2 → 34
Calls
2 calls:
11.0ms
(+ b (+ c d))
54.0ms
(+ a (+ b (+ c d)))

series73.0ms

Counts
2 → 6
Calls
2 calls:
28.0ms
(+ b (+ c d))
45.0ms
(+ a (+ b (+ c d)))

simplify2.4s

Counts
40 → 40
Iterations
IterNodes
done5002
33339
2614
1166
057

prune287.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.2b

localize15.0ms

Local error

Found 1 expressions with local error:

2.5b
(+ a (+ (+ b c) d))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity add-log-exp
6×sum-log distribute-lft-out
1×add-sqr-sqrt pow1 +-commutative associate-+r+ flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
Counts
1 → 18
Calls
1 calls:
45.0ms
(+ a (+ (+ b c) d))

series33.0ms

Counts
1 → 3
Calls
1 calls:
33.0ms
(+ a (+ (+ b c) d))

simplify1.9s

Counts
21 → 21
Iterations
IterNodes
done5007
33062
2534
1110
041

prune119.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 1.6b

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* (* (+ a (+ (+ b c) d)) (+ a (+ (+ b c) d))) (+ a (+ (+ b c) d))))
2.5b
(+ a (+ (+ b c) d))
2.5b
(+ a (+ (+ b c) d))
2.5b
(+ a (+ (+ b c) d))

rewrite567.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity add-log-exp
30×flip3-+ flip-+
28×frac-times
26×cbrt-div
18×sum-log distribute-lft-out
14×associate-*l/
8×associate-*r/
4×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
3×+-commutative associate-+r+
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Counts
4 → 91
Calls
4 calls:
386.0ms
(cbrt (* (* (+ a (+ (+ b c) d)) (+ a (+ (+ b c) d))) (+ a (+ (+ b c) d))))
72.0ms
(+ a (+ (+ b c) d))
53.0ms
(+ a (+ (+ b c) d))
53.0ms
(+ a (+ (+ b c) d))

series216.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(cbrt (* (* (+ a (+ (+ b c) d)) (+ a (+ (+ b c) d))) (+ a (+ (+ b c) d))))
46.0ms
(+ a (+ (+ b c) d))
45.0ms
(+ a (+ (+ b c) d))
40.0ms
(+ a (+ (+ b c) d))

simplify1.7s

Counts
103 → 103
Iterations
IterNodes
done5002
22303
1430
0145

prune520.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 2 expressions with local error:

0.3b
(* (* (+ (+ b c) (+ a d)) (+ (+ b c) (+ a d))) (+ (+ b c) (+ a d)))
0.6b
(cbrt (* (* (+ (+ b c) (+ a d)) (+ (+ b c) (+ a d))) (+ (+ b c) (+ a d))))

rewrite554.0ms

Algorithm
rewrite-expression-head
Rules
1470×flip3-+ flip-+
1176×frac-add
1080×frac-times
342×cbrt-div
180×associate-*l/
96×associate-*r/
21×pow1
15×*-un-lft-identity
8×distribute-lft-out
7×add-cbrt-cube associate-*r* add-exp-log
6×pow-plus pow-prod-up
4×add-sqr-sqrt
3×pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
2×pow2 pow3 pow-sqr insert-posit16 add-log-exp
1×cbrt-prod distribute-rgt-in distribute-lft-in pow1/3 associate-*l* *-commutative rem-cbrt-cube unswap-sqr
Counts
2 → 730
Calls
2 calls:
307.0ms
(* (* (+ (+ b c) (+ a d)) (+ (+ b c) (+ a d))) (+ (+ b c) (+ a d)))
192.0ms
(cbrt (* (* (+ (+ b c) (+ a d)) (+ (+ b c) (+ a d))) (+ (+ b c) (+ a d))))

series830.0ms

Counts
2 → 6
Calls
2 calls:
734.0ms
(* (* (+ (+ b c) (+ a d)) (+ (+ b c) (+ a d))) (+ (+ b c) (+ a d)))
95.0ms
(cbrt (* (* (+ (+ b c) (+ a d)) (+ (+ b c) (+ a d))) (+ (+ b c) (+ a d))))

simplify3.1s

Counts
736 → 736
Iterations
IterNodes
done5003
14736
01359

prune2.3s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

simplify1.0ms

Iterations
IterNodes
done13
113
09

end0.0ms

sample1.3s

Algorithm
intervals
Results
566.0ms8000×pre80true
484.0ms8000×body80valid