Details

Time bar (total: 16.2s)

sample28.0ms

Algorithm
intervals
Results
16.0ms297×body80valid

simplify8.0ms

Counts
1 → 1
Iterations
IterNodes
done9
29
18
06

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (fabs (- x y)) (fabs y))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
3×associate-/r* add-cbrt-cube add-exp-log associate-/l*
1×pow1 cbrt-undiv clear-num frac-2neg div-exp insert-posit16 div-inv add-log-exp
Counts
1 → 28
Calls
1 calls:
5.0ms
(/ (fabs (- x y)) (fabs y))

series7.0ms

Counts
1 → 3
Calls
1 calls:
7.0ms
(/ (fabs (- x y)) (fabs y))

simplify4.9s

Counts
31 → 31
Iterations
IterNodes
done5001
41734
3601
2242
192
053

prune93.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.2b
(* (fabs (- x y)) (/ 1 (fabs y)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
13×*-un-lft-identity associate-*r*
11×times-frac add-cube-cbrt
10×add-exp-log
9×associate-*r/
6×add-cbrt-cube
4×prod-exp associate-/l*
3×pow1 associate-/r* associate-*l* un-div-inv unswap-sqr
2×clear-num div-exp cbrt-unprod
1×cbrt-undiv rec-exp frac-2neg 1-exp pow-prod-down *-commutative insert-posit16 div-inv add-log-exp
Counts
1 → 47
Calls
1 calls:
17.0ms
(* (fabs (- x y)) (/ 1 (fabs y)))

series7.0ms

Counts
1 → 3
Calls
1 calls:
7.0ms
(* (fabs (- x y)) (/ 1 (fabs y)))

simplify2.2s

Counts
50 → 50
Iterations
IterNodes
done5027
42229
3920
2491
1201
081

prune156.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (fabs (- x y)))
0.0b
(sqrt (fabs (- x y)))
0.2b
(/ (sqrt (fabs (- x y))) (fabs y))
0.3b
(* (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
57×add-sqr-sqrt
40×*-un-lft-identity times-frac
39×add-cube-cbrt
38×sqrt-prod
22×associate-*r*
13×associate-/l*
12×associate-*r/
11×add-cbrt-cube add-exp-log
8×pow1
6×associate-/r* associate-*l* unswap-sqr
4×insert-posit16 add-log-exp
3×clear-num
2×cbrt-undiv rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 div-exp prod-exp un-div-inv cbrt-unprod div-inv
1×pow-prod-down *-commutative
Counts
4 → 130
Calls
4 calls:
2.0ms
(sqrt (fabs (- x y)))
2.0ms
(sqrt (fabs (- x y)))
13.0ms
(/ (sqrt (fabs (- x y))) (fabs y))
59.0ms
(* (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)))

series65.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(sqrt (fabs (- x y)))
17.0ms
(sqrt (fabs (- x y)))
20.0ms
(/ (sqrt (fabs (- x y))) (fabs y))
10.0ms
(* (sqrt (fabs (- x y))) (/ (sqrt (fabs (- x y))) (fabs y)))

simplify1.8s

Counts
142 → 142
Iterations
IterNodes
done5031
32792
2846
1278
0120

prune499.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (sqrt (fabs (- x y))) (fabs y))
0.2b
(/ (sqrt (fabs (- x y))) (fabs y))
0.3b
(* (* (sqrt (fabs (- x y))) (sqrt (/ (sqrt (fabs (- x y))) (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (fabs y))))
0.3b
(* (sqrt (fabs (- x y))) (sqrt (/ (sqrt (fabs (- x y))) (fabs y))))

rewrite327.0ms

Algorithm
rewrite-expression-head
Rules
340×add-sqr-sqrt
324×sqrt-div
312×sqrt-prod
180×associate-*r/
174×associate-/l*
162×*-un-lft-identity add-cube-cbrt
144×frac-times
132×times-frac
87×associate-/r*
84×unswap-sqr
75×associate-*r*
56×associate-*l*
29×clear-num frac-2neg
16×pow1
15×add-cbrt-cube add-exp-log
12×associate-*l/
10×pow-prod-down
5×sqrt-pow1 pow1/2 div-inv
4×prod-exp cbrt-unprod insert-posit16 add-log-exp
3×sqrt-unprod *-commutative
2×cbrt-undiv div-exp
Counts
4 → 437
Calls
4 calls:
13.0ms
(/ (sqrt (fabs (- x y))) (fabs y))
12.0ms
(/ (sqrt (fabs (- x y))) (fabs y))
219.0ms
(* (* (sqrt (fabs (- x y))) (sqrt (/ (sqrt (fabs (- x y))) (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (fabs y))))
50.0ms
(* (sqrt (fabs (- x y))) (sqrt (/ (sqrt (fabs (- x y))) (fabs y))))

series193.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(/ (sqrt (fabs (- x y))) (fabs y))
19.0ms
(/ (sqrt (fabs (- x y))) (fabs y))
9.0ms
(* (* (sqrt (fabs (- x y))) (sqrt (/ (sqrt (fabs (- x y))) (fabs y)))) (sqrt (/ (sqrt (fabs (- x y))) (fabs y))))
128.0ms
(* (sqrt (fabs (- x y))) (sqrt (/ (sqrt (fabs (- x y))) (fabs y))))

simplify2.7s

Counts
449 → 449
Iterations
IterNodes
done5001
22374
11051
0417

prune1.8s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes90.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done6
06

end0.0ms

sample1.2s

Algorithm
intervals
Results
626.0ms9122×body80valid