Details

Time bar (total: 11.2s)

sample32.0ms

Algorithm
intervals
Results
8.0ms256×body80valid
7.0ms252×body80nan

simplify27.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01114
12112
23312
34212
44312
done4312

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.3b

localize12.0ms

Local error

Found 3 expressions with local error:

1.2b
(+ (+ (* x y) (* x z)) (* y z))
1.8b
(+ (* x y) (* x z))
20.2b
(sqrt (+ (+ (* x y) (* x z)) (* y z)))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
5×add-sqr-sqrt
4×pow1 add-cube-cbrt *-un-lft-identity sum-log
3×add-exp-log flip3-+ sqrt-prod add-cbrt-cube flip-+
2×+-commutative sqrt-div
1×rem-sqrt-square associate-+l+ sqrt-pow1 pow1/2 distribute-lft-out
Counts
3 → 40
Calls
3 calls:
30.0ms
(+ (+ (* x y) (* x z)) (* y z))
8.0ms
(+ (* x y) (* x z))
29.0ms
(sqrt (+ (+ (* x y) (* x z)) (* y z)))

series170.0ms

Counts
3 → 9
Calls
3 calls:
24.0ms
(+ (+ (* x y) (* x z)) (* y z))
34.0ms
(+ (* x y) (* x z))
112.0ms
(sqrt (+ (+ (* x y) (* x z)) (* y z)))

simplify1.8s

Counts
49 → 49
Iterations

Useful iterations: 3 (779.0ms)

IterNodesCost
086787
1250604
2871570
33377560
done5000560

prune127.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 21.2b

localize11.0ms

Local error

Found 4 expressions with local error:

1.2b
(+ (* x (+ y z)) (* y z))
1.2b
(+ (* x (+ y z)) (* y z))
20.2b
(sqrt (+ (* x (+ y z)) (* y z)))
20.2b
(sqrt (+ (* x (+ y z)) (* y z)))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt add-log-exp
6×pow1 add-cube-cbrt *-un-lft-identity sqrt-prod
4×add-exp-log associate-+l+ flip3-+ sqrt-div add-cbrt-cube flip-+
2×+-commutative distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 sum-log
Counts
4 → 56
Calls
4 calls:
12.0ms
(+ (* x (+ y z)) (* y z))
14.0ms
(+ (* x (+ y z)) (* y z))
15.0ms
(sqrt (+ (* x (+ y z)) (* y z)))
14.0ms
(sqrt (+ (* x (+ y z)) (* y z)))

series275.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ (* x (+ y z)) (* y z))
24.0ms
(+ (* x (+ y z)) (* y z))
112.0ms
(sqrt (+ (* x (+ y z)) (* y z)))
113.0ms
(sqrt (+ (* x (+ y z)) (* y z)))

simplify1.3s

Counts
68 → 68
Iterations

Useful iterations: 3 (475.0ms)

IterNodesCost
0681058
1186958
2586894
32446878
done5002878

prune223.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 21.2b

localize18.0ms

Local error

Found 4 expressions with local error:

20.2b
(sqrt (* (* (cbrt (+ (* x (+ y z)) (* y z))) (cbrt (+ (* x (+ y z)) (* y z)))) (cbrt (+ (* x (+ y z)) (* y z)))))
20.7b
(cbrt (+ (* x (+ y z)) (* y z)))
20.7b
(cbrt (+ (* x (+ y z)) (* y z)))
20.7b
(cbrt (+ (* x (+ y z)) (* y z)))

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
30×flip3-+ flip-+
28×frac-times
26×sqrt-div
24×pow1
15×sqrt-pow1
14×associate-*l/
12×pow1/3
9×cbrt-prod pow-prod-up
8×associate-*r/
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×pow-plus
5×pow-prod-down
4×add-exp-log add-cbrt-cube add-log-exp
3×pow-sqr
2×pow2
1×pow1/2 pow3 sqrt-prod
Counts
4 → 89
Calls
4 calls:
113.0ms
(sqrt (* (* (cbrt (+ (* x (+ y z)) (* y z))) (cbrt (+ (* x (+ y z)) (* y z)))) (cbrt (+ (* x (+ y z)) (* y z)))))
9.0ms
(cbrt (+ (* x (+ y z)) (* y z)))
11.0ms
(cbrt (+ (* x (+ y z)) (* y z)))
9.0ms
(cbrt (+ (* x (+ y z)) (* y z)))

series760.0ms

Counts
4 → 12
Calls
4 calls:
114.0ms
(sqrt (* (* (cbrt (+ (* x (+ y z)) (* y z))) (cbrt (+ (* x (+ y z)) (* y z)))) (cbrt (+ (* x (+ y z)) (* y z)))))
214.0ms
(cbrt (+ (* x (+ y z)) (* y z)))
213.0ms
(cbrt (+ (* x (+ y z)) (* y z)))
218.0ms
(cbrt (+ (* x (+ y z)) (* y z)))

simplify1.2s

Counts
101 → 101
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01863720
13613368
27592960
321022855
done50002828

prune320.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 21.2b

localize23.0ms

Local error

Found 4 expressions with local error:

20.2b
(sqrt (+ (* x (+ y z)) (* y z)))
20.2b
(sqrt (* (* (* (cbrt (sqrt (+ (* x (+ y z)) (* y z)))) (cbrt (sqrt (+ (* x (+ y z)) (* y z))))) (cbrt (+ (* x (+ y z)) (* y z)))) (cbrt (+ (* x (+ y z)) (* y z)))))
20.7b
(cbrt (+ (* x (+ y z)) (* y z)))
20.7b
(cbrt (+ (* x (+ y z)) (* y z)))

rewrite446.0ms

Algorithm
rewrite-expression-head
Rules
220×cbrt-div
190×sqrt-div
136×frac-times
111×flip3-+ flip-+
68×associate-*l/
26×associate-*r/
15×pow1
9×pow-prod-down
8×add-sqr-sqrt
7×add-cube-cbrt *-un-lft-identity
6×cbrt-prod sqrt-pow1 pow1/3
4×add-exp-log sqrt-prod add-cbrt-cube add-log-exp
2×pow1/2
1×rem-sqrt-square
Counts
4 → 135
Calls
4 calls:
15.0ms
(sqrt (+ (* x (+ y z)) (* y z)))
398.0ms
(sqrt (* (* (* (cbrt (sqrt (+ (* x (+ y z)) (* y z)))) (cbrt (sqrt (+ (* x (+ y z)) (* y z))))) (cbrt (+ (* x (+ y z)) (* y z)))) (cbrt (+ (* x (+ y z)) (* y z)))))
9.0ms
(cbrt (+ (* x (+ y z)) (* y z)))
9.0ms
(cbrt (+ (* x (+ y z)) (* y z)))

series683.0ms

Counts
4 → 12
Calls
4 calls:
118.0ms
(sqrt (+ (* x (+ y z)) (* y z)))
124.0ms
(sqrt (* (* (* (cbrt (sqrt (+ (* x (+ y z)) (* y z)))) (cbrt (sqrt (+ (* x (+ y z)) (* y z))))) (cbrt (+ (* x (+ y z)) (* y z)))) (cbrt (+ (* x (+ y z)) (* y z)))))
219.0ms
(cbrt (+ (* x (+ y z)) (* y z)))
222.0ms
(cbrt (+ (* x (+ y z)) (* y z)))

simplify1.7s

Counts
147 → 147
Iterations

Useful iterations: done (1.7s)

IterNodesCost
038911281
178810659
2165810553
334109717
done50019701

prune623.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 21.2b

regimes198.0ms

Accuracy

0% (0.1b remaining)

Error of 19.4b against oracle of 19.4b and baseline of 19.4b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01114
11714
done1714

end0.0ms

sample923.0ms

Algorithm
intervals
Results
247.0ms8000×body80valid
233.0ms8187×body80nan