Details

Time bar (total: 12.6s)

sample59.0ms

Algorithm
intervals
Results
17.0ms269×body80valid
11.0ms272×body80nan

simplify159.0ms

Counts
1 → 1
Iterations
IterNodes
done146
7146
6134
5121
4104
371
247
121
010

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* (sqrt z) y))
0.2b
(* (sqrt z) y)

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
6×associate-*l*
5×*-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log sqrt-prod add-log-exp
3×associate-*r*
2×unswap-sqr
1×+-commutative sum-log flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+
Counts
2 → 33
Calls
2 calls:
8.0ms
(+ x (* (sqrt z) y))
10.0ms
(* (sqrt z) y)

series105.0ms

Counts
2 → 6
Calls
2 calls:
47.0ms
(+ x (* (sqrt z) y))
58.0ms
(* (sqrt z) y)

simplify2.3s

Counts
39 → 39
Iterations
IterNodes
done5001
34977
2788
1221
083

prune256.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (sqrt z))
0.1b
(sqrt (sqrt z))
0.2b
(* (sqrt (sqrt z)) y)
0.3b
(* (sqrt (sqrt z)) (* (sqrt (sqrt z)) y))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
41×sqrt-prod
25×add-sqr-sqrt
18×associate-*l*
15×pow1 *-un-lft-identity add-cube-cbrt
11×add-cbrt-cube add-exp-log
8×sqrt-pow1
4×rem-sqrt-square pow1/2 associate-*r* pow-prod-down prod-exp cbrt-unprod add-log-exp
3×unswap-sqr
2×*-commutative
Counts
4 → 88
Calls
4 calls:
2.0ms
(sqrt (sqrt z))
2.0ms
(sqrt (sqrt z))
11.0ms
(* (sqrt (sqrt z)) y)
32.0ms
(* (sqrt (sqrt z)) (* (sqrt (sqrt z)) y))

series630.0ms

Counts
4 → 12
Calls
4 calls:
199.0ms
(sqrt (sqrt z))
191.0ms
(sqrt (sqrt z))
156.0ms
(* (sqrt (sqrt z)) y)
84.0ms
(* (sqrt (sqrt z)) (* (sqrt (sqrt z)) y))

simplify761.0ms

Counts
100 → 100
Iterations
IterNodes
done5001
21420
1326
0128

prune512.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (* (sqrt (sqrt z)) (* (pow z 1/4) y)))
0.1b
(sqrt (sqrt z))
0.2b
(* (pow z 1/4) y)
0.3b
(* (sqrt (sqrt z)) (* (pow z 1/4) y))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt add-exp-log sqrt-prod
16×associate-*l*
12×*-un-lft-identity add-cube-cbrt
11×add-cbrt-cube
10×prod-exp
8×pow1
6×add-log-exp
4×unpow-prod-down sqrt-pow1 associate-*r* cbrt-unprod
3×unswap-sqr
2×pow-to-exp rem-sqrt-square pow1/2 pow-exp *-commutative sqr-pow
1×+-commutative sum-log flip3-+ pow-prod-down flip-+
Counts
4 → 80
Calls
4 calls:
9.0ms
(+ x (* (sqrt (sqrt z)) (* (pow z 1/4) y)))
3.0ms
(sqrt (sqrt z))
17.0ms
(* (pow z 1/4) y)
37.0ms
(* (sqrt (sqrt z)) (* (pow z 1/4) y))

series639.0ms

Counts
4 → 12
Calls
4 calls:
101.0ms
(+ x (* (sqrt (sqrt z)) (* (pow z 1/4) y)))
223.0ms
(sqrt (sqrt z))
141.0ms
(* (pow z 1/4) y)
174.0ms
(* (sqrt (sqrt z)) (* (pow z 1/4) y))

simplify862.0ms

Counts
92 → 92
Iterations
IterNodes
done5000
21953
1467
0178

prune582.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (sqrt z))
0.2b
(* (pow z 1/4) y)
0.3b
(* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (pow z 1/4) y))
0.5b
(* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))

rewrite186.0ms

Algorithm
rewrite-expression-head
Rules
166×sqrt-prod
88×add-sqr-sqrt
76×sqrt-pow1
42×pow1
35×add-exp-log
26×pow1/2
25×*-un-lft-identity add-cube-cbrt
24×swap-sqr
22×prod-exp
20×add-cbrt-cube associate-*l*
19×unswap-sqr
16×associate-*r*
13×pow-prod-up
10×pow-prod-down cbrt-unprod
7×pow-sqr
4×unpow-prod-down add-log-exp
3×pow-to-exp pow-exp *-commutative
2×rem-sqrt-square sqr-pow
1×pow2 rem-square-sqrt pow-plus sqrt-unprod
Counts
4 → 173
Calls
4 calls:
3.0ms
(sqrt (sqrt z))
19.0ms
(* (pow z 1/4) y)
106.0ms
(* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (pow z 1/4) y))
43.0ms
(* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))

series705.0ms

Counts
4 → 12
Calls
4 calls:
189.0ms
(sqrt (sqrt z))
109.0ms
(* (pow z 1/4) y)
187.0ms
(* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (pow z 1/4) y))
219.0ms
(* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))

simplify1.6s

Counts
185 → 185
Iterations
IterNodes
done5000
22868
1564
0227

prune657.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes326.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done13
113
010

end0.0ms

sample2.1s

Algorithm
intervals
Results
754.0ms8510×body80valid
462.0ms8588×body80nan