Details

Time bar (total: 44.8s)

sample126.0ms

Algorithm
intervals
Results
41.0ms377×body80valid

simplify180.0ms

Calls
1 calls:
Slowest
179.0ms
(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 3 expressions with local error:

0.2b
(* 0.12900613773279798 (* x x))
0.0b
(* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
0.0b
(- 0.954929658551372 (* 0.12900613773279798 (* x x)))

rewrite169.0ms

Algorithm
rewrite-expression-head
Rules
59×add-sqr-sqrt
29×associate-*r*
20×unswap-sqr
19×*-un-lft-identity
12×difference-of-squares
11×associate-*l* add-cube-cbrt
10×pow1 add-cbrt-cube add-exp-log
6×swap-sqr *-commutative
5×add-log-exp
4×pow-prod-down prod-exp cbrt-unprod distribute-lft-out--
3×sub-neg insert-posit16
2×distribute-rgt-in distribute-lft-in flip3-- associate-*r/ flip--
1×diff-log
Calls
3 calls:
Slowest
102.0ms
(* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
35.0ms
(- 0.954929658551372 (* 0.12900613773279798 (* x x)))
27.0ms
(* 0.12900613773279798 (* x x))

series283.0ms

Calls
3 calls:
Slowest
146.0ms
(* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
81.0ms
(- 0.954929658551372 (* 0.12900613773279798 (* x x)))
56.0ms
(* 0.12900613773279798 (* x x))

simplify4.5s

Calls
78 calls:
Slowest
1.0s
(* (* (* x x) x) (* (* (- 0.954929658551372 (* 0.12900613773279798 (* x x))) (- 0.954929658551372 (* 0.12900613773279798 (* x x)))) (- 0.954929658551372 (* 0.12900613773279798 (* x x)))))
333.0ms
(/ (exp 0.954929658551372) (exp (* 0.12900613773279798 (* x x))))
328.0ms
(+ (* 0.954929658551372 0.954929658551372) (+ (* (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (* x x))) (* 0.954929658551372 (* 0.12900613773279798 (* x x)))))
277.0ms
(- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
245.0ms
(- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))

prune680.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (* x x)))
0.2b
(* (sqrt 0.12900613773279798) (* x x))
0.0b
(* x (- 0.954929658551372 (* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (* x x)))))
0.0b
(- 0.954929658551372 (* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (* x x))))

rewrite523.0ms

Algorithm
rewrite-expression-head
Rules
309×add-sqr-sqrt
165×unswap-sqr
100×associate-*r*
82×sqrt-prod
46×difference-of-squares
31×*-un-lft-identity
29×associate-*l*
23×add-cube-cbrt
22×swap-sqr *-commutative
20×pow1 add-cbrt-cube add-exp-log
10×pow-prod-down prod-exp cbrt-unprod
6×add-log-exp
4×insert-posit16 distribute-lft-out--
3×sub-neg
2×distribute-rgt-in distribute-lft-in flip3-- associate-*r/ flip--
1×diff-log
Calls
4 calls:
Slowest
297.0ms
(* x (- 0.954929658551372 (* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (* x x)))))
96.0ms
(* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (* x x)))
80.0ms
(- 0.954929658551372 (* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (* x x))))
41.0ms
(* (sqrt 0.12900613773279798) (* x x))

series605.0ms

Calls
4 calls:
Slowest
251.0ms
(* x (- 0.954929658551372 (* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (* x x)))))
138.0ms
(- 0.954929658551372 (* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (* x x))))
133.0ms
(* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (* x x)))
82.0ms
(* (sqrt 0.12900613773279798) (* x x))

simplify11.4s

Calls
236 calls:
Slowest
598.0ms
(* (* (* (sqrt 0.12900613773279798) (sqrt 0.12900613773279798)) (sqrt 0.12900613773279798)) (* (* (* (sqrt 0.12900613773279798) (sqrt 0.12900613773279798)) (sqrt 0.12900613773279798)) (* (* (* x x) x) (* (* x x) x))))
564.0ms
(* (* (* (sqrt 0.12900613773279798) (sqrt 0.12900613773279798)) (sqrt 0.12900613773279798)) (* (* (* (sqrt 0.12900613773279798) (sqrt 0.12900613773279798)) (sqrt 0.12900613773279798)) (* (* (* x x) (* x x)) (* x x))))
480.0ms
(* (* (* (sqrt 0.12900613773279798) (sqrt 0.12900613773279798)) (sqrt 0.12900613773279798)) (* (* (* x x) x) (* (* x x) x)))
424.0ms
(- (sqrt 0.954929658551372) (* (sqrt (sqrt 0.12900613773279798)) (* (sqrt (sqrt 0.12900613773279798)) x)))
355.0ms
(* (* (* (sqrt 0.12900613773279798) (sqrt 0.12900613773279798)) (sqrt 0.12900613773279798)) (* (* (* x x) (* x x)) (* x x)))

prune1.9s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 3 expressions with local error:

0.3b
(* 0.12900613773279798 (* (* x x) x))
0.2b
(* (* x x) x)
0.0b
(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))

rewrite252.0ms

Algorithm
rewrite-expression-head
Rules
117×add-sqr-sqrt
57×unswap-sqr
54×associate-*r*
43×associate-*l*
31×pow1
29×*-un-lft-identity
19×add-cube-cbrt
17×add-cbrt-cube add-exp-log
14×difference-of-squares
11×swap-sqr *-commutative
9×pow-prod-down prod-exp cbrt-unprod
6×pow-plus distribute-rgt-out-- pow-prod-up
5×add-log-exp
4×distribute-lft-out--
3×insert-posit16
2×pow2 pow3 pow-sqr
1×sub-neg flip3-- diff-log flip--
Calls
3 calls:
Slowest
127.0ms
(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
83.0ms
(* 0.12900613773279798 (* (* x x) x))
38.0ms
(* (* x x) x)

series243.0ms

Calls
3 calls:
Slowest
133.0ms
(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
56.0ms
(* (* x x) x)
54.0ms
(* 0.12900613773279798 (* (* x x) x))

simplify8.4s

Calls
132 calls:
Slowest
489.0ms
(- (* 0.954929658551372 (* (cbrt x) (cbrt x))) (* 0.12900613773279798 (* (* x x) (* (cbrt x) (cbrt x)))))
468.0ms
(/ (exp (* 0.954929658551372 x)) (exp (* 0.12900613773279798 (* (* x x) x))))
445.0ms
(* (* (* (* x x) (* x x)) (* x x)) (* (* x x) x))
411.0ms
(* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x)))
409.0ms
(* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) x)))

prune1.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

20.6b
(sqrt (* 0.12900613773279798 (* x x)))
20.6b
(sqrt (* 0.12900613773279798 (* x x)))
0.3b
(* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
0.2b
(* 0.12900613773279798 (* x x))

rewrite606.0ms

Algorithm
rewrite-expression-head
Rules
131×add-sqr-sqrt
83×sqrt-prod
80×associate-*r*
49×unswap-sqr
40×*-un-lft-identity
38×associate-*l*
28×add-cube-cbrt
26×pow1
16×swap-sqr
15×*-commutative
14×add-cbrt-cube add-exp-log difference-of-squares
12×rem-sqrt-square pow-prod-down
8×associate-*r/
6×sqrt-pow1 prod-exp cbrt-unprod
4×frac-times insert-posit16 add-log-exp
3×flip3-+ flip3-- flip-+ flip-- distribute-lft-out distribute-lft-out--
2×distribute-rgt-in sub-neg distribute-lft-in pow1/2 associate-*l/
Calls
4 calls:
Slowest
535.0ms
(* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
27.0ms
(sqrt (* 0.12900613773279798 (* x x)))
20.0ms
(* 0.12900613773279798 (* x x))
18.0ms
(sqrt (* 0.12900613773279798 (* x x)))

series570.0ms

Calls
4 calls:
Slowest
443.0ms
(* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
52.0ms
(sqrt (* 0.12900613773279798 (* x x)))
48.0ms
(sqrt (* 0.12900613773279798 (* x x)))
27.0ms
(* 0.12900613773279798 (* x x))

simplify9.4s

Calls
174 calls:
Slowest
646.0ms
(* (* x (+ (pow (sqrt 0.954929658551372) 3) (pow (sqrt (* 0.12900613773279798 (* x x))) 3))) (- (pow (sqrt 0.954929658551372) 3) (pow (sqrt (* 0.12900613773279798 (* x x))) 3)))
492.0ms
(* (* (* (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (* x (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (* (* (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
431.0ms
(* (* (* (* x x) x) (* (* (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (+ (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))) (* (* (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x))))))
423.0ms
(* (* x (+ (pow (sqrt 0.954929658551372) 3) (pow (sqrt (* 0.12900613773279798 (* x x))) 3))) (- (sqrt 0.954929658551372) (sqrt (* 0.12900613773279798 (* x x)))))
355.0ms
(- (* x (pow (sqrt 0.954929658551372) 2)) (* (pow x 3) (pow (sqrt 0.12900613773279798) 2)))

prune2.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes95.0ms

Accuracy

0% (0.1b remaining)

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

bsearch3.0ms

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.5s12120×body80valid