Details

Time bar (total: 41.4s)

sample184.0ms

Algorithm
intervals
Results
79.0ms760×body80nan
15.0ms256×body80valid

simplify28.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
27.0ms
(- (log (- (/ 1 x) 1)))

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (/ 1 x) 1)

rewrite742.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×*-un-lft-identity
6×times-frac difference-of-squares
3×difference-of-sqr-1 add-log-exp
2×distribute-lft-out--
1×pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt insert-posit16 div-inv flip--
Counts
1 → 24
Calls
1 calls:
Slowest
739.0ms
(- (/ 1 x) 1)

series50.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
49.0ms
(- (/ 1 x) 1)

simplify395.0ms

Counts
21 → 27
Calls
21 calls:
Slowest
45.0ms
(/ (exp (/ 1 x)) (exp 1))
35.0ms
(- (sqrt (/ 1 x)) 1)
24.0ms
(- (sqrt (/ 1 x)) (sqrt 1))
23.0ms
(- (/ (sqrt 1) (sqrt x)) 1)
21.0ms
(- (/ (sqrt 1) (sqrt x)) (sqrt 1))

prune215.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

37.1b
(cbrt (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1)))
0.3b
(* (- (/ 1 x) 1) (- (/ 1 x) 1))
0.1b
(* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))
0.0b
(- (/ 1 x) 1)

rewrite346.0ms

Algorithm
rewrite-expression-head
Rules
118×add-sqr-sqrt
89×*-un-lft-identity
61×flip3-- flip--
60×frac-times
44×times-frac
42×difference-of-squares
30×pow1 associate-*l/
28×associate-*r*
26×cbrt-div swap-sqr
24×difference-of-sqr-1
20×distribute-lft-out--
18×associate-*r/
15×associate-*l*
11×add-cbrt-cube add-exp-log
10×div-inv
9×add-cube-cbrt
7×pow-plus pow-prod-up
6×add-log-exp
5×sub-neg
4×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp cbrt-unprod insert-posit16
3×pow2 pow-sqr
2×pow3 *-commutative unswap-sqr
1×cbrt-prod pow1/3 diff-log rem-cbrt-cube
Counts
4 → 214
Calls
4 calls:
Slowest
179.0ms
(* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))
82.0ms
(cbrt (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1)))
67.0ms
(* (- (/ 1 x) 1) (- (/ 1 x) 1))
13.0ms
(- (/ 1 x) 1)

series84.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
32.0ms
(cbrt (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1)))
22.0ms
(- (/ 1 x) 1)
18.0ms
(* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))
12.0ms
(* (- (/ 1 x) 1) (- (/ 1 x) 1))

simplify34.3s

Counts
243 → 226
Calls
243 calls:
Slowest
1.0s
(* (- (* (/ 1 x) (/ 1 x)) (* 1 1)) (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
966.0ms
(* (- 1) (* (- (/ 1 x) 1) (- (/ 1 x) 1)))
790.0ms
(* (* (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1)) (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))) (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1)))
757.0ms
(cbrt (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (* (/ 1 x) (/ 1 x)) (* 1 1))))
553.0ms
(* (- (pow (/ 1 x) 3) (pow 1 3)) (- (/ 1 x) 1))

prune2.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes132.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.5s24056×body80nan
708.0ms8000×body80valid