Details

Time bar (total: 20.6s)

sample54.0ms

Algorithm
intervals
Results
14.0ms279×body80nan
13.0ms256×body80valid

simplify79.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (8.0ms)

IterNodesCost
01114
12212
24411
36311
46711
56811
done6811

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 17.5b

localize17.0ms

Local error

Found 3 expressions with local error:

0.6b
(+ (* x y) (* x z))
1.2b
(+ (+ (* x y) (* x z)) (* y z))
16.6b
(sqrt (+ (+ (* x y) (* x z)) (* y z)))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
6×add-sqr-sqrt
5×add-cube-cbrt fma-def *-un-lft-identity
4×pow1 sum-log
3×add-exp-log expm1-log1p-u flip3-+ sqrt-prod add-cbrt-cube flip-+ log1p-expm1-u
2×+-commutative sqrt-div distribute-lft-out
1×rem-sqrt-square associate-+l+ sqrt-pow1 pow1/2
Counts
3 → 51
Calls
3 calls:
15.0ms
(+ (* x y) (* x z))
40.0ms
(+ (+ (* x y) (* x z)) (* y z))
57.0ms
(sqrt (+ (+ (* x y) (* x z)) (* y z)))

series277.0ms

Counts
3 → 9
Calls
3 calls:
43.0ms
(+ (* x y) (* x z))
45.0ms
(+ (+ (* x y) (* x z)) (* y z))
190.0ms
(sqrt (+ (+ (* x y) (* x z)) (* y z)))

simplify4.0s

Counts
60 → 60
Iterations

Useful iterations: done (4.0s)

IterNodesCost
092853
1271652
2970584
34050573
done5000572

prune330.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 17.5b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(* z (+ x y))
1.2b
(+ (* x y) (* z (+ x y)))
16.6b
(sqrt (+ (* x y) (* z (+ x y))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
8×*-un-lft-identity
6×pow1 add-cube-cbrt
5×add-exp-log add-cbrt-cube add-log-exp
4×associate-*r*
3×expm1-log1p-u flip3-+ associate-*l* sqrt-prod flip-+ log1p-expm1-u
2×distribute-rgt-in associate-+r+ distribute-lft-in sqrt-div associate-*r/
1×+-commutative rem-sqrt-square fma-def sqrt-pow1 pow1/2 pow-prod-down prod-exp sum-log *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
3 → 58
Calls
3 calls:
21.0ms
(* z (+ x y))
9.0ms
(+ (* x y) (* z (+ x y)))
10.0ms
(sqrt (+ (* x y) (* z (+ x y))))

series264.0ms

Counts
3 → 9
Calls
3 calls:
54.0ms
(* z (+ x y))
47.0ms
(+ (* x y) (* z (+ x y)))
162.0ms
(sqrt (+ (* x y) (* z (+ x y))))

simplify4.3s

Counts
67 → 67
Iterations

Useful iterations: done (4.3s)

IterNodesCost
0107777
1295666
21002626
34400620
done5000619

prune316.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 17.5b

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
1.2b
(+ (* x y) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (+ x y))))
16.6b
(sqrt (+ (* x y) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (+ x y)))))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
7×add-cube-cbrt *-un-lft-identity
6×cbrt-prod add-log-exp
5×pow1
4×add-exp-log distribute-rgt-in expm1-log1p-u associate-+r+ distribute-lft-in add-cbrt-cube log1p-expm1-u
3×sqrt-prod
2×flip3-+ pow1/3 sqrt-div flip-+
1×+-commutative rem-sqrt-square fma-def sqrt-pow1 pow1/2 sum-log
Counts
4 → 61
Calls
4 calls:
11.0ms
(cbrt z)
2.0ms
(cbrt z)
13.0ms
(+ (* x y) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (+ x y))))
9.0ms
(sqrt (+ (* x y) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (+ x y)))))

series1.0s

Counts
4 → 12
Calls
4 calls:
354.0ms
(cbrt z)
321.0ms
(cbrt z)
102.0ms
(+ (* x y) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (+ x y))))
263.0ms
(sqrt (+ (* x y) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (+ x y)))))

simplify1.4s

Counts
73 → 73
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01031070
1272944
2915703
done5000573

prune457.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 17.5b

localize31.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ x y))
0.5b
(cbrt (+ x y))
1.2b
(+ (* x y) (* (* z (* (cbrt (+ x y)) (cbrt (+ x y)))) (cbrt (+ x y))))
16.6b
(sqrt (+ (* x y) (* (* z (* (cbrt (+ x y)) (cbrt (+ x y)))) (cbrt (+ x y)))))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
8×cbrt-prod add-sqr-sqrt
7×add-cube-cbrt
6×add-log-exp
5×pow1
4×add-exp-log expm1-log1p-u cbrt-div flip3-+ add-cbrt-cube flip-+ log1p-expm1-u
3×sqrt-prod
2×pow1/3 sqrt-div distribute-lft-out
1×+-commutative rem-sqrt-square fma-def sqrt-pow1 pow1/2 sum-log
Counts
4 → 63
Calls
4 calls:
9.0ms
(cbrt (+ x y))
10.0ms
(cbrt (+ x y))
19.0ms
(+ (* x y) (* (* z (* (cbrt (+ x y)) (cbrt (+ x y)))) (cbrt (+ x y))))
17.0ms
(sqrt (+ (* x y) (* (* z (* (cbrt (+ x y)) (cbrt (+ x y)))) (cbrt (+ x y)))))

series796.0ms

Counts
4 → 12
Calls
4 calls:
245.0ms
(cbrt (+ x y))
220.0ms
(cbrt (+ x y))
67.0ms
(+ (* x y) (* (* z (* (cbrt (+ x y)) (cbrt (+ x y)))) (cbrt (+ x y))))
265.0ms
(sqrt (+ (* x y) (* (* z (* (cbrt (+ x y)) (cbrt (+ x y)))) (cbrt (+ x y)))))

simplify3.5s

Counts
75 → 75
Iterations

Useful iterations: done (3.5s)

IterNodesCost
01211394
13111242
2946739
33768733
done5000731

prune410.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 17.4b

regimes178.0ms

Accuracy

0% (0.2b remaining)

Error of 19.8b against oracle of 19.6b and baseline of 19.8b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01012
11512
done1512

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.3s7961×body80nan
692.0ms8000×body80valid