Details

Time bar (total: 14.1s)

sample60.0ms

Algorithm
intervals
Results
15.0ms281×body80valid
13.0ms269×body80nan

simplify122.0ms

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

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite16.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:
6.0ms
(+ x (* (sqrt z) y))
8.0ms
(* (sqrt z) y)

series175.0ms

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

simplify2.6s

Counts
39 → 39
Iterations
IterNodes
done5001
34977
2788
1221
083

prune167.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite76.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))
14.0ms
(* (sqrt (sqrt z)) y)
56.0ms
(* (sqrt (sqrt z)) (* (sqrt (sqrt z)) y))

series686.0ms

Counts
4 → 12
Calls
4 calls:
217.0ms
(sqrt (sqrt z))
225.0ms
(sqrt (sqrt z))
167.0ms
(* (sqrt (sqrt z)) y)
76.0ms
(* (sqrt (sqrt z)) (* (sqrt (sqrt z)) y))

simplify929.0ms

Counts
100 → 100
Iterations
IterNodes
done5001
21420
1326
0128

prune560.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize46.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.3b
(* (pow z 1/4) y)
0.3b
(* (sqrt (sqrt z)) (* (pow z 1/4) y))

rewrite88.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:
11.0ms
(+ x (* (sqrt (sqrt z)) (* (pow z 1/4) y)))
4.0ms
(sqrt (sqrt z))
28.0ms
(* (pow z 1/4) y)
42.0ms
(* (sqrt (sqrt z)) (* (pow z 1/4) y))

series773.0ms

Counts
4 → 12
Calls
4 calls:
101.0ms
(+ x (* (sqrt (sqrt z)) (* (pow z 1/4) y)))
265.0ms
(sqrt (sqrt z))
187.0ms
(* (pow z 1/4) y)
220.0ms
(* (sqrt (sqrt z)) (* (pow z 1/4) y))

simplify1.1s

Counts
92 → 92
Iterations
IterNodes
done5000
21953
1467
0178

prune616.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

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

rewrite613.0ms

Algorithm
rewrite-expression-head
Rules
46×sqrt-prod
35×add-exp-log
24×add-sqr-sqrt
22×prod-exp
20×add-cbrt-cube associate-*l*
17×*-un-lft-identity add-cube-cbrt
16×associate-*r*
13×pow1
10×cbrt-unprod
4×unpow-prod-down sqrt-pow1 pow-prod-down add-log-exp
3×pow-to-exp pow-exp *-commutative unswap-sqr
2×rem-sqrt-square pow1/2 sqr-pow
Counts
4 → 103
Calls
4 calls:
4.0ms
(sqrt (sqrt z))
20.0ms
(* (pow z 1/4) y)
520.0ms
(* (sqrt (sqrt (sqrt z))) (* (* (pow z 1/4) y) (sqrt (sqrt (sqrt z)))))
62.0ms
(* (* (pow z 1/4) y) (sqrt (sqrt (sqrt z))))

series755.0ms

Counts
4 → 12
Calls
4 calls:
217.0ms
(sqrt (sqrt z))
119.0ms
(* (pow z 1/4) y)
226.0ms
(* (sqrt (sqrt (sqrt z))) (* (* (pow z 1/4) y) (sqrt (sqrt (sqrt z)))))
192.0ms
(* (* (pow z 1/4) y) (sqrt (sqrt (sqrt z))))

simplify1.5s

Counts
115 → 115
Iterations
IterNodes
done5004
22633
1541
0207

prune686.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes382.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done13
113
010

end0.0ms

sample2.0s

Algorithm
intervals
Results
620.0ms8556×body80valid
590.0ms8568×body80nan