Details

Time bar (total: 6.6s)

sample30.0ms

Algorithm
intervals
Results
12.0ms256×body80valid
4.0ms94×body80nan

simplify5.0ms

Counts
1 → 1
Iterations
IterNodes
done6
16
05

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 20.1b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x x) y)
20.1b
(sqrt (+ (* x x) y))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt add-log-exp
3×pow1 *-un-lft-identity add-cube-cbrt sqrt-prod
2×flip3-+ add-cbrt-cube sqrt-div add-exp-log flip-+ insert-posit16
1×+-commutative rem-sqrt-square sum-log sqrt-pow1 pow1/2
Counts
2 → 28
Calls
2 calls:
16.0ms
(+ (* x x) y)
34.0ms
(sqrt (+ (* x x) y))

series84.0ms

Counts
2 → 6
Calls
2 calls:
30.0ms
(+ (* x x) y)
54.0ms
(sqrt (+ (* x x) y))

simplify1.4s

Counts
34 → 34
Iterations
IterNodes
done5001
31330
2397
1148
061

prune103.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* 1/2 (/ y x)))
0.0b
(* 1/2 (/ y x))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
13×associate-*r*
10×*-un-lft-identity times-frac add-cube-cbrt
7×add-cbrt-cube add-exp-log
4×pow1 add-log-exp
3×associate-*l*
2×prod-exp cbrt-unprod insert-posit16 unswap-sqr
1×cbrt-undiv +-commutative sum-log flip3-+ div-exp pow-prod-down associate-*r/ *-commutative flip-+ div-inv
Counts
2 → 45
Calls
2 calls:
10.0ms
(+ x (* 1/2 (/ y x)))
24.0ms
(* 1/2 (/ y x))

series71.0ms

Counts
2 → 6
Calls
2 calls:
41.0ms
(+ x (* 1/2 (/ y x)))
30.0ms
(* 1/2 (/ y x))

simplify1.7s

Counts
51 → 51
Iterations
IterNodes
done5003
32154
2712
1234
089

prune152.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(* -1/2 (/ y x))
0.0b
(- (* -1/2 (/ y x)) x)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
13×associate-*r*
10×*-un-lft-identity times-frac add-cube-cbrt
7×add-cbrt-cube add-exp-log
4×pow1 add-log-exp
3×associate-*l*
2×prod-exp cbrt-unprod insert-posit16 unswap-sqr
1×cbrt-undiv sub-neg flip3-- diff-log div-exp pow-prod-down associate-*r/ *-commutative div-inv flip--
Counts
2 → 46
Calls
2 calls:
16.0ms
(* -1/2 (/ y x))
10.0ms
(- (* -1/2 (/ y x)) x)

series75.0ms

Counts
2 → 6
Calls
2 calls:
26.0ms
(* -1/2 (/ y x))
49.0ms
(- (* -1/2 (/ y x)) x)

simplify1.6s

Counts
52 → 52
Iterations
IterNodes
done5002
32017
2679
1233
094

prune142.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes182.0ms

Accuracy

97.6% (0.5b remaining)

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

bsearch67.0ms

Steps
ItersRangePoint
7
1.5718858767320834e+57
3.9529156979092325e+59
3.890409410163301e+59
10
-8.708528334203602e+158
-7.111823881111221e+146
-1.3298271535226257e+154

simplify3.0ms

Iterations
IterNodes
done22
122
018

end0.0ms

sample731.0ms

Algorithm
intervals
Results
431.0ms8000×body80valid
94.0ms2615×body80nan