Details

Time bar (total: 24.8s)

sample107.0ms

Algorithm
intervals
Results
46.0ms256×body80valid
41.0ms239×body80nan

simplify206.0ms

Calls
1 calls:
Slowest
206.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 3 (* v v))
0.0b
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
0.0b
(- 1 (* 3 (* v v)))
0.0b
(sqrt (- 1 (* 3 (* v v))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
7×associate-*r*
6×pow1 add-cbrt-cube sqrt-div add-exp-log sqrt-prod
4×expm1-log1p-u flip3-- associate-*l* insert-posit16 log1p-expm1-u flip-- add-log-exp
2×frac-times associate-*r/ *-commutative
1×rem-sqrt-square sub-neg pow1/2 pow-prod-down associate-*l/ prod-exp cbrt-unprod div-inv
Calls
4 calls:
Slowest
11.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
1.0ms
(sqrt (- 1 (* 3 (* v v))))
1.0ms
(* 3 (* v v))
1.0ms
(- 1 (* 3 (* v v)))

series160.0ms

Calls
4 calls:
Slowest
93.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
32.0ms
(- 1 (* 3 (* v v)))
24.0ms
(sqrt (- 1 (* 3 (* v v))))
11.0ms
(* 3 (* v v))

simplify4.7s

Calls
37 calls:
Slowest
939.0ms
(* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (* 3 (* v v)))) (sqrt (- 1 (* 3 (* v v))))) (sqrt (- 1 (* 3 (* v v))))))
467.0ms
(* 4 (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))
387.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))
328.0ms
(* (sqrt 2) (sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v))))))
282.0ms
(* (sqrt 2) (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3))))

prune981.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 3 (* v v))
0.0b
(* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v)))))))
0.0b
(log (exp (sqrt (- 1 (* 3 (* v v))))))
0.0b
(* (* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt *-un-lft-identity associate-*r* log-pow add-cube-cbrt
13×pow1
12×exp-prod
11×add-cbrt-cube add-exp-log
9×log-prod
6×sqrt-prod
5×distribute-rgt-in distribute-lft-in associate-*l* associate-*l/
4×expm1-log1p-u pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×frac-times sub-neg flip3-- associate-*r/ flip--
1×rem-log-exp div-inv
Calls
4 calls:
Slowest
31.0ms
(* (* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))
17.0ms
(* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v)))))))
3.0ms
(log (exp (sqrt (- 1 (* 3 (* v v))))))
2.0ms
(* 3 (* v v))

series255.0ms

Calls
4 calls:
Slowest
116.0ms
(* (* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))
82.0ms
(* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v)))))))
36.0ms
(log (exp (sqrt (- 1 (* 3 (* v v))))))
20.0ms
(* 3 (* v v))

simplify7.7s

Calls
66 calls:
Slowest
708.0ms
(* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (log (exp (sqrt (- 1 (* 3 (* v v)))))) (log (exp (sqrt (- 1 (* 3 (* v v))))))) (log (exp (sqrt (- 1 (* 3 (* v v))))))))
387.0ms
(* 4 (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
347.0ms
(* (* (sqrt 2) (log (exp (sqrt (- 1 (* 3 (* v v))))))) (- 1 (* v v)))
303.0ms
(+ (log (* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v)))))))) (log (- 1 (* v v))))
302.0ms
(* (* (* (* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v))))))) (* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v)))))))) (* (/ (sqrt 2) 4) (log (exp (sqrt (- 1 (* 3 (* v v)))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))

prune1.4s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 3 (* v v))
0.1b
(* 3 (* v v))
0.0b
(* (/ (sqrt 2) 4) (sqrt (sqrt (- 1 (* 3 (* v v))))))
0.0b
(sqrt (sqrt (- 1 (* 3 (* v v)))))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
19×sqrt-prod
12×add-sqr-sqrt sqrt-div
11×associate-*r*
10×*-un-lft-identity add-cube-cbrt
6×pow1 add-cbrt-cube add-exp-log
4×expm1-log1p-u associate-*l* insert-posit16 log1p-expm1-u add-log-exp
3×flip3-- *-commutative flip--
2×frac-times rem-sqrt-square associate-*r/
1×pow1/2 pow-prod-down associate-*l/ prod-exp cbrt-unprod div-inv
Calls
4 calls:
Slowest
8.0ms
(* (/ (sqrt 2) 4) (sqrt (sqrt (- 1 (* 3 (* v v))))))
1.0ms
(sqrt (sqrt (- 1 (* 3 (* v v)))))
1.0ms
(* 3 (* v v))
1.0ms
(* 3 (* v v))

series311.0ms

Calls
4 calls:
Slowest
159.0ms
(* (/ (sqrt 2) 4) (sqrt (sqrt (- 1 (* 3 (* v v))))))
120.0ms
(sqrt (sqrt (- 1 (* 3 (* v v)))))
20.0ms
(* 3 (* v v))
12.0ms
(* 3 (* v v))

simplify5.1s

Calls
44 calls:
Slowest
714.0ms
(- (* 1/4 (* (sqrt 2) (exp (* 1/4 (- (log -3) (* 2 (log (/ 1 v)))))))) (+ (* 1/384 (/ (* (sqrt 2) (exp (* 1/4 (- (log -3) (* 2 (log (/ 1 v))))))) (pow v 4))) (* 1/48 (/ (* (sqrt 2) (exp (* 1/4 (- (log -3) (* 2 (log (/ 1 v))))))) (pow v 2)))))
485.0ms
(sqrt (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))))
427.0ms
(* 4 (sqrt (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))))
352.0ms
(- (* 1/4 (* (sqrt 2) (exp (* 1/4 (- (log -3) (* 2 (log (/ -1 v)))))))) (+ (* 1/384 (/ (* (sqrt 2) (exp (* 1/4 (- (log -3) (* 2 (log (/ -1 v))))))) (pow v 4))) (* 1/48 (/ (* (sqrt 2) (exp (* 1/4 (- (log -3) (* 2 (log (/ -1 v))))))) (pow v 2)))))
305.0ms
(* (sqrt 2) (sqrt (sqrt (- (pow 1 3) (pow (* 3 (* v v)) 3)))))

prune1.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes59.0ms

Accuracy

0% (0.0b remaining)

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

bsearch6.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.2s8000×body80valid
1.1s7930×body80nan