Details

Time bar (total: 6.6s)

sample49.0ms

Algorithm
intervals
Results
13.0ms283×body160nan
12.0ms578×body80nan
7.0ms256×body80valid

simplify4.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
079
1109
2119
done119

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.4b

localize7.0ms

Local error

Found 2 expressions with local error:

0.2b
(log (+ x (sqrt (- (* x x) 1.0))))
29.1b
(sqrt (- (* x x) 1.0))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt *-un-lft-identity
4×pow1 add-cube-cbrt log-prod sqrt-prod
3×add-exp-log
2×log-div sqrt-div add-cbrt-cube add-log-exp
1×rem-sqrt-square flip3-- sqrt-pow1 flip3-+ pow1/2 rem-log-exp log-pow flip-- flip-+ distribute-lft-out difference-of-squares
Counts
2 → 31
Calls
2 calls:
8.0ms
(log (+ x (sqrt (- (* x x) 1.0))))
5.0ms
(sqrt (- (* x x) 1.0))

series237.0ms

Counts
2 → 6
Calls
2 calls:
183.0ms
(log (+ x (sqrt (- (* x x) 1.0))))
53.0ms
(sqrt (- (* x x) 1.0))

simplify1.1s

Counts
37 → 37
Iterations

Useful iterations: 3 (491.0ms)

IterNodesCost
0125556
1268503
2765456
33114446
done5000446

prune95.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize13.0ms

Local error

Found 3 expressions with local error:

0.2b
(- (log 2) (- (+ (/ 0.09375 (pow x 4)) (/ 0.25 (* x x))) (log x)))
0.3b
(/ 0.09375 (pow x 4))
0.8b
(/ 0.25 (* x x))

rewrite224.0ms

Algorithm
rewrite-expression-head
Rules
45×*-un-lft-identity
24×add-sqr-sqrt times-frac
22×add-cube-cbrt
18×distribute-lft-out--
13×add-exp-log
12×pow1 unpow-prod-down
10×add-cbrt-cube
9×log-pow
8×associate-/r*
7×add-log-exp
6×associate-/l*
5×diff-log div-exp
4×associate--l+ distribute-lft-out sqr-pow
3×cbrt-undiv log-prod associate--r+
2×sub-neg frac-2neg clear-num div-inv
1×pow-to-exp flip3-- pow-exp prod-exp sum-log flip-- cbrt-unprod associate--r- difference-of-squares
Counts
3 → 98
Calls
3 calls:
213.0ms
(- (log 2) (- (+ (/ 0.09375 (pow x 4)) (/ 0.25 (* x x))) (log x)))
3.0ms
(/ 0.09375 (pow x 4))
3.0ms
(/ 0.25 (* x x))

series160.0ms

Counts
3 → 9
Calls
3 calls:
100.0ms
(- (log 2) (- (+ (/ 0.09375 (pow x 4)) (/ 0.25 (* x x))) (log x)))
35.0ms
(/ 0.09375 (pow x 4))
24.0ms
(/ 0.25 (* x x))

simplify550.0ms

Counts
107 → 107
Iterations

Useful iterations: done (547.0ms)

IterNodesCost
01851458
13821385
211301293
done50001283

prune247.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.2b
(log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
0.5b
(* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
15×sqrt-prod
12×sqrt-div
11×*-un-lft-identity
9×associate-*r*
7×pow1 add-cube-cbrt associate-*l*
5×add-exp-log
4×frac-times flip3-+ add-cbrt-cube flip-+ unswap-sqr
3×log-prod flip3-- pow-prod-down flip--
2×log-div sqrt-pow1 pow1/2 associate-*r/ associate-*l/ add-log-exp difference-of-squares
1×sqrt-unprod rem-log-exp prod-exp log-pow *-commutative cbrt-unprod distribute-lft-out distribute-lft-out--
Counts
2 → 56
Calls
2 calls:
2.0ms
(log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
28.0ms
(* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))

series484.0ms

Counts
2 → 6
Calls
2 calls:
283.0ms
(log (+ x (* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))))
201.0ms
(* (sqrt (+ x (sqrt 1.0))) (sqrt (- x (sqrt 1.0))))

simplify1.9s

Counts
62 → 62
Iterations

Useful iterations: 3 (984.0ms)

IterNodesCost
01781284
13951092
211411034
343071012
done50001012

prune162.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes12.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01417
11517
done1517

end0.0ms

sample1.3s

Algorithm
intervals
Results
359.0ms7682×body160nan
329.0ms16083×body80nan
233.0ms8000×body80valid