Details

Time bar (total: 10.3s)

sample71.0ms

Algorithm
intervals
Results
26.0ms256×body80valid
26.0ms258×body80nan

simplify31.0ms

Counts
1 → 1
Iterations
IterNodes
done43
443
342
233
121
011

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.2b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (+ y z) x)
1.6b
(+ (* z y) (* (+ y z) x))
19.2b
(sqrt (+ (* z y) (* (+ y z) x)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
8×*-un-lft-identity
6×pow1 add-cube-cbrt
5×add-cbrt-cube add-exp-log add-log-exp
4×associate-*l*
3×flip3-+ associate-*r* sqrt-prod flip-+ insert-posit16
2×sqrt-div associate-*l/
1×+-commutative rem-sqrt-square sum-log sqrt-pow1 pow1/2 pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
3 → 50
Calls
3 calls:
28.0ms
(* (+ y z) x)
13.0ms
(+ (* z y) (* (+ y z) x))
9.0ms
(sqrt (+ (* z y) (* (+ y z) x)))

series225.0ms

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

simplify838.0ms

Counts
59 → 59
Iterations
IterNodes
done5002
21041
1257
0100

prune257.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 19.2b

localize28.0ms

Local error

Found 4 expressions with local error:

1.6b
(+ (* z y) (* (+ y z) x))
1.6b
(+ (* z y) (* (+ y z) x))
19.2b
(sqrt (+ (* z y) (* (+ y z) x)))
19.2b
(sqrt (+ (* z y) (* (+ y z) x)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt add-log-exp
6×pow1 *-un-lft-identity add-cube-cbrt sqrt-prod
4×flip3-+ add-cbrt-cube sqrt-div add-exp-log flip-+ insert-posit16
2×+-commutative rem-sqrt-square sum-log sqrt-pow1 pow1/2
Counts
4 → 56
Calls
4 calls:
8.0ms
(+ (* z y) (* (+ y z) x))
9.0ms
(+ (* z y) (* (+ y z) x))
6.0ms
(sqrt (+ (* z y) (* (+ y z) x)))
6.0ms
(sqrt (+ (* z y) (* (+ y z) x)))

series359.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ (* z y) (* (+ y z) x))
34.0ms
(+ (* z y) (* (+ y z) x))
147.0ms
(sqrt (+ (* z y) (* (+ y z) x)))
151.0ms
(sqrt (+ (* z y) (* (+ y z) x)))

simplify884.0ms

Counts
68 → 68
Iterations
IterNodes
done5001
2832
1182
066

prune349.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 19.1b

localize34.0ms

Local error

Found 4 expressions with local error:

19.2b
(sqrt (* (* (cbrt (+ (* z y) (* (+ y z) x))) (cbrt (+ (* z y) (* (+ y z) x)))) (cbrt (+ (* z y) (* (+ y z) x)))))
19.8b
(cbrt (+ (* z y) (* (+ y z) x)))
19.8b
(cbrt (+ (* z y) (* (+ y z) x)))
19.8b
(cbrt (+ (* z y) (* (+ y z) x)))

rewrite74.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 *-un-lft-identity add-cube-cbrt
6×pow-plus
5×pow-prod-down
4×add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×pow-sqr
2×pow2
1×pow1/2 pow3 sqrt-prod
Counts
4 → 93
Calls
4 calls:
61.0ms
(sqrt (* (* (cbrt (+ (* z y) (* (+ y z) x))) (cbrt (+ (* z y) (* (+ y z) x)))) (cbrt (+ (* z y) (* (+ y z) x)))))
4.0ms
(cbrt (+ (* z y) (* (+ y z) x)))
4.0ms
(cbrt (+ (* z y) (* (+ y z) x)))
4.0ms
(cbrt (+ (* z y) (* (+ y z) x)))

series876.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(sqrt (* (* (cbrt (+ (* z y) (* (+ y z) x))) (cbrt (+ (* z y) (* (+ y z) x)))) (cbrt (+ (* z y) (* (+ y z) x)))))
237.0ms
(cbrt (+ (* z y) (* (+ y z) x)))
254.0ms
(cbrt (+ (* z y) (* (+ y z) x)))
254.0ms
(cbrt (+ (* z y) (* (+ y z) x)))

simplify1.4s

Counts
105 → 105
Iterations
IterNodes
done5001
32770
2728
1372
0188

prune443.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 19.1b

localize45.0ms

Local error

Found 4 expressions with local error:

19.2b
(sqrt (+ (* z y) (* (+ y z) x)))
19.2b
(sqrt (+ (* z y) (* (+ y z) x)))
19.2b
(sqrt (+ (* z y) (* (+ y z) x)))
19.2b
(sqrt (+ (* z y) (* (+ y z) x)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt sqrt-prod
8×pow1 *-un-lft-identity sqrt-div add-cube-cbrt
4×rem-sqrt-square sqrt-pow1 flip3-+ add-cbrt-cube pow1/2 add-exp-log flip-+ insert-posit16 add-log-exp
Counts
4 → 64
Calls
4 calls:
6.0ms
(sqrt (+ (* z y) (* (+ y z) x)))
6.0ms
(sqrt (+ (* z y) (* (+ y z) x)))
6.0ms
(sqrt (+ (* z y) (* (+ y z) x)))
6.0ms
(sqrt (+ (* z y) (* (+ y z) x)))

series528.0ms

Counts
4 → 12
Calls
4 calls:
120.0ms
(sqrt (+ (* z y) (* (+ y z) x)))
157.0ms
(sqrt (+ (* z y) (* (+ y z) x)))
124.0ms
(sqrt (+ (* z y) (* (+ y z) x)))
126.0ms
(sqrt (+ (* z y) (* (+ y z) x)))

simplify1.1s

Counts
76 → 76
Iterations
IterNodes
done5000
32235
2419
1144
055

prune365.0ms

Pruning

10 alts after pruning (6 fresh and 4 done)

Merged error: 19.1b

regimes190.0ms

Accuracy

0% (0.1b remaining)

Error of 19.2b against oracle of 19.1b and baseline of 19.2b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done15
115
010

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.0s8000×body80valid
725.0ms8038×body80nan