Details

Time bar (total: 17.7s)

sample30.0ms

Algorithm
intervals
Results
15.0ms337×body80valid

simplify31.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
067
1117
2167
3207
4217
done217

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize8.0ms

Local error

Found 1 expressions with local error:

0.1b
(/ (- (* x x) 3.0) 6.0)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
12×times-frac
10×add-cube-cbrt *-un-lft-identity
4×associate-/l* difference-of-squares
3×add-exp-log associate-/r* add-cbrt-cube
2×associate-/l/
1×pow1 cbrt-undiv flip3-- frac-2neg div-sub div-exp clear-num flip-- div-inv add-log-exp
Counts
1 → 34
Calls
1 calls:
27.0ms
(/ (- (* x x) 3.0) 6.0)

series106.0ms

Counts
1 → 3
Calls
1 calls:
106.0ms
(/ (- (* x x) 3.0) 6.0)

simplify2.4s

Counts
37 → 37
Iterations

Useful iterations: 4 (1.2s)

IterNodesCost
078451
1174438
2399406
3938406
42545405
done5002405

prune124.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 1 expressions with local error:

0.2b
(* (/ x 6.0) x)

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*l*
10×times-frac
9×add-cube-cbrt *-un-lft-identity
6×add-exp-log add-cbrt-cube
3×pow1 associate-*r*
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative div-inv add-log-exp
Counts
1 → 32
Calls
1 calls:
21.0ms
(* (/ x 6.0) x)

series30.0ms

Counts
1 → 3
Calls
1 calls:
30.0ms
(* (/ x 6.0) x)

simplify5.7s

Counts
35 → 35
Iterations

Useful iterations: 4 (2.2s)

IterNodesCost
063261
1147256
2369216
3892216
42093212
done5001212

prune93.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ (pow x 3/2) 6.0)
0.1b
(* (/ (pow x 3/2) 6.0) (sqrt x))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
48×times-frac
34×add-cube-cbrt *-un-lft-identity
25×associate-*l*
23×unpow-prod-down
17×add-exp-log
9×add-cbrt-cube sqr-pow
8×unswap-sqr
7×sqrt-prod associate-/l*
6×div-exp associate-*r*
4×pow1 prod-exp
3×associate-/r*
2×cbrt-undiv pow-to-exp pow-exp cbrt-unprod div-inv add-log-exp
1×frac-2neg pow-prod-down associate-*l/ clear-num *-commutative
Counts
2 → 100
Calls
2 calls:
18.0ms
(/ (pow x 3/2) 6.0)
27.0ms
(* (/ (pow x 3/2) 6.0) (sqrt x))

series179.0ms

Counts
2 → 6
Calls
2 calls:
77.0ms
(/ (pow x 3/2) 6.0)
102.0ms
(* (/ (pow x 3/2) 6.0) (sqrt x))

simplify3.9s

Counts
106 → 106
Iterations

Useful iterations: 3 (1.8s)

IterNodesCost
01611223
13601127
29771060
339961055
done50001055

prune459.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 1 expressions with local error:

0.1b
(/ (sqrt (- (* x x) 3.0)) (/ 6.0 (sqrt (- (* x x) 3.0))))

rewrite123.0ms

Algorithm
rewrite-expression-head
Rules
357×times-frac
221×add-sqr-sqrt
208×sqrt-prod
169×add-cube-cbrt *-un-lft-identity
52×difference-of-squares
27×associate-/r*
18×sqrt-div
17×associate-/r/
9×flip3-- flip-- div-inv
7×associate-/l*
6×add-exp-log add-cbrt-cube
3×cbrt-undiv div-exp
2×associate-/l/
1×pow1 frac-2neg clear-num add-log-exp
Counts
1 → 240
Calls
1 calls:
90.0ms
(/ (sqrt (- (* x x) 3.0)) (/ 6.0 (sqrt (- (* x x) 3.0))))

series108.0ms

Counts
1 → 3
Calls
1 calls:
108.0ms
(/ (sqrt (- (* x x) 3.0)) (/ 6.0 (sqrt (- (* x x) 3.0))))

simplify2.5s

Counts
243 → 243
Iterations

Useful iterations: done (2.5s)

IterNodesCost
03777699
17776956
225746311
done50006033

prune738.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes119.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
189
done89

end0.0ms

sample764.0ms

Algorithm
intervals
Results
424.0ms10612×body80valid