Details

Time bar (total: 10.3s)

sample203.0ms

Algorithm
intervals
Results
49.0ms814×body80nan
11.0ms256×body80valid

simplify24.0ms

Counts
1 → 1

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize61.0ms

Local error

Found 1 expressions with local error:

0.5b
(* (sqrt (- x 1.0)) (sqrt x))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
12×sqrt-prod
8×associate-*l*
7×*-un-lft-identity
6×associate-*r*
5×pow1 add-cube-cbrt
4×unswap-sqr
3×add-exp-log pow-prod-down add-cbrt-cube
2×sqrt-pow1 pow1/2 sqrt-div associate-*l/
1×flip3-- sqrt-unprod prod-exp *-commutative flip-- cbrt-unprod distribute-lft-out-- add-log-exp difference-of-squares
Counts
1 → 34
Calls
1 calls:
48.0ms
(* (sqrt (- x 1.0)) (sqrt x))

series114.0ms

Counts
1 → 3
Calls
1 calls:
114.0ms
(* (sqrt (- x 1.0)) (sqrt x))

simplify1.5s

Counts
37 → 37

prune100.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize9.0ms

Local error

Found 3 expressions with local error:

0.5b
(* (sqrt (* (sqrt (- x 1.0)) (sqrt x))) (sqrt (* (sqrt (- x 1.0)) (sqrt x))))
0.5b
(* (sqrt (- x 1.0)) (sqrt x))
0.5b
(* (sqrt (- x 1.0)) (sqrt x))

rewrite243.0ms

Algorithm
rewrite-expression-head
Rules
76×pow1
64×sqrt-pow1
44×pow-prod-down
37×add-sqr-sqrt
30×pow1/2
28×sqrt-div sqrt-prod
20×associate-*l*
19×*-un-lft-identity
18×associate-*l/
16×associate-*r*
15×add-cube-cbrt
14×pow-prod-up
9×add-exp-log add-cbrt-cube unswap-sqr
8×flip3-- pow-sqr flip--
4×frac-times swap-sqr
3×sqrt-unprod prod-exp *-commutative cbrt-unprod add-log-exp
2×associate-*r/ distribute-lft-out-- difference-of-squares
1×pow2 pow-plus rem-square-sqrt
Counts
3 → 133
Calls
3 calls:
151.0ms
(* (sqrt (* (sqrt (- x 1.0)) (sqrt x))) (sqrt (* (sqrt (- x 1.0)) (sqrt x))))
33.0ms
(* (sqrt (- x 1.0)) (sqrt x))
53.0ms
(* (sqrt (- x 1.0)) (sqrt x))

series292.0ms

Counts
3 → 9
Calls
3 calls:
102.0ms
(* (sqrt (* (sqrt (- x 1.0)) (sqrt x))) (sqrt (* (sqrt (- x 1.0)) (sqrt x))))
93.0ms
(* (sqrt (- x 1.0)) (sqrt x))
97.0ms
(* (sqrt (- x 1.0)) (sqrt x))

simplify999.0ms

Counts
142 → 142

prune385.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(* 0.125 (/ 1 x))

rewrite32.0ms

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

series32.0ms

Counts
1 → 3
Calls
1 calls:
32.0ms
(* 0.125 (/ 1 x))

simplify1.6s

Counts
39 → 39

prune126.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize15.0ms

Local error

Found 1 expressions with local error:

30.3b
(pow (* (- x 1.0) x) (+ (/ 1/2 2) (/ (/ 1 2) 2)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity
12×times-frac
11×pow-unpow
7×distribute-lft-out
6×add-sqr-sqrt add-cube-cbrt
5×div-inv
4×pow1 add-exp-log
2×pow-pow pow-exp
1×unpow-prod-up pow-to-exp unpow-prod-down distribute-rgt-out pow-prod-down prod-exp add-cbrt-cube add-log-exp sqr-pow
Counts
1 → 26
Calls
1 calls:
63.0ms
(pow (* (- x 1.0) x) (+ (/ 1/2 2) (/ (/ 1 2) 2)))

series129.0ms

Counts
1 → 3
Calls
1 calls:
129.0ms
(pow (* (- x 1.0) x) (+ (/ 1/2 2) (/ (/ 1 2) 2)))

simplify1.0s

Counts
29 → 29

prune92.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes61.0ms

Accuracy

3.1% (0.5b remaining)

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

bsearch0.0ms

simplify28.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.5s23683×body80nan
865.0ms7992×body80valid
1.0ms8×body160valid