Details

Time bar (total: 59.0s)

sample77.0ms

Algorithm
intervals
Results
32.0ms256×body80valid
29.0ms241×body80nan

simplify216.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
26×associate-*l*
23×*-un-lft-identity add-cbrt-cube add-exp-log
22×times-frac add-cube-cbrt
20×sqrt-prod
18×frac-times sqrt-div
17×pow1
15×flip3-- flip--
12×associate-*r*
10×prod-exp associate-*r/ cbrt-unprod
9×associate-*l/
7×pow-prod-down unswap-sqr
4×insert-posit16 add-log-exp
3×*-commutative
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp difference-of-squares
1×rem-sqrt-square sqrt-pow1 pow1/2 div-inv
Counts
4 → 133
Calls
4 calls:
Slowest
64.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
28.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
16.0ms
(* 3 (* v v))
4.0ms
(sqrt (- 1 (* 3 (* v v))))

series688.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
337.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v)))
231.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v)))))
71.0ms
(sqrt (- 1 (* 3 (* v v))))
49.0ms
(* 3 (* v v))

simplify28.5s

Counts
168 → 145
Calls
168 calls:
Slowest
811.0ms
(* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- (pow 1 3) (pow (* v v) 3)))
769.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))))))
508.0ms
(sqrt (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))
488.0ms
(sqrt (- (* 1 1) (* (* 3 (* v v)) (* 3 (* v v)))))
478.0ms
(sqrt (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))

prune1.5s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

29.6b
(log (* v v))
3.0b
(exp (+ (log 3) (log (* v v))))
0.3b
(+ (log 3) (log (* v v)))
0.0b
(* (/ (sqrt 2) 4) (sqrt (- 1 (exp (+ (log 3) (log (* v v)))))))

rewrite293.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
34×*-un-lft-identity
32×pow1
22×times-frac associate-*l*
21×add-cube-cbrt
20×log-pow sqrt-prod
12×add-exp-log distribute-lft-out
9×exp-prod add-cbrt-cube associate-*r*
6×pow-prod-down unswap-sqr
5×log-prod add-log-exp
4×sqrt-div insert-posit16
3×associate-+l+ prod-exp
2×frac-times sum-log flip3-- rem-log-exp associate-*r/ cbrt-unprod flip-- difference-of-squares rem-exp-log
1×pow2 cbrt-undiv +-commutative associate-+r+ flip3-+ pow-plus div-exp exp-sum associate-*l/ pow-sqr *-commutative pow-prod-up flip-+ div-inv distribute-lft-out--
Counts
4 → 115
Calls
4 calls:
Slowest
201.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (exp (+ (log 3) (log (* v v)))))))
62.0ms
(exp (+ (log 3) (log (* v v))))
22.0ms
(+ (log 3) (log (* v v)))
5.0ms
(log (* v v))

series1.6s

Counts
4 → 12
Calls
4 calls:
Slowest
587.0ms
(* (/ (sqrt 2) 4) (sqrt (- 1 (exp (+ (log 3) (log (* v v)))))))
386.0ms
(exp (+ (log 3) (log (* v v))))
371.0ms
(+ (log 3) (log (* v v)))
213.0ms
(log (* v v))

simplify13.9s

Counts
133 → 127
Calls
133 calls:
Slowest
653.0ms
(* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (exp (+ (log 3) (log (* v v)))))) (sqrt (- 1 (exp (+ (log 3) (log (* v v))))))) (sqrt (- 1 (exp (+ (log 3) (log (* v v))))))))
622.0ms
(* (* (+ (log 3) (log (* v v))) (+ (log 3) (log (* v v)))) (+ (log 3) (log (* v v))))
389.0ms
(* 1/4 (* (sqrt 2) (sqrt (- 1 (exp (- (log 3) (* 2 (log (/ 1 v)))))))))
341.0ms
(* (* (* (/ (sqrt 2) 4) (sqrt (- 1 (exp (+ (log 3) (log (* v v))))))) (* (/ (sqrt 2) 4) (sqrt (- 1 (exp (+ (log 3) (log (* v v)))))))) (* (/ (sqrt 2) 4) (sqrt (- 1 (exp (+ (log 3) (log (* v v))))))))
332.0ms
(* 4 (sqrt (+ (* 1 1) (+ (* (exp (+ (log 3) (log (* v v)))) (exp (+ (log 3) (log (* v v))))) (* 1 (exp (+ (log 3) (log (* v v)))))))))

prune1.5s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize72.0ms

Local error

Found 4 expressions with local error:

29.6b
(log (* v v))
29.6b
(log (* v v))
28.6b
(sqrt (exp (+ (log 3) (log (* v v)))))
28.6b
(sqrt (exp (+ (log 3) (log (* v v)))))

rewrite180.0ms

Algorithm
rewrite-expression-head
Rules
40×pow1
26×log-pow
20×sqrt-pow1
18×exp-prod *-un-lft-identity
12×distribute-lft-out
10×add-sqr-sqrt add-exp-log
8×add-cube-cbrt sqrt-prod
6×pow-prod-down
4×add-cbrt-cube rem-log-exp insert-posit16 add-log-exp
2×pow2 rem-sqrt-square log-prod pow-plus pow1/2 exp-sum prod-exp pow-sqr pow-prod-up
Counts
4 → 82
Calls
4 calls:
Slowest
96.0ms
(sqrt (exp (+ (log 3) (log (* v v)))))
63.0ms
(sqrt (exp (+ (log 3) (log (* v v)))))
9.0ms
(log (* v v))
9.0ms
(log (* v v))

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
528.0ms
(sqrt (exp (+ (log 3) (log (* v v)))))
525.0ms
(sqrt (exp (+ (log 3) (log (* v v)))))
258.0ms
(log (* v v))
206.0ms
(log (* v v))

simplify4.0s

Counts
96 → 94
Calls
96 calls:
Slowest
271.0ms
(sqrt (exp (- (log 3) (* 2 (log (/ 1 v))))))
268.0ms
(* (* (log (* v v)) (log (* v v))) (log (* v v)))
244.0ms
(* (* (log (* v v)) (log (* v v))) (log (* v v)))
208.0ms
(sqrt (exp (- (log 3) (* 2 (log (/ 1 v))))))
205.0ms
(sqrt (exp (- (log 3) (* 2 (log (/ -1 v))))))

prune1.6s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes86.0ms

Accuracy

0% (0.0b remaining)

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

bsearch7.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.6s8073×body80nan
1.3s8000×body80valid