Details

Time bar (total: 50.1s)

sample220.0ms

Algorithm
intervals
Results
94.0ms84×body2560valid
57.0ms91×body1280valid
26.0ms293×body80nan
21.0ms44×body640valid
5.0ms15×body320valid
3.0ms14×body160valid
1.0ms8×body80valid

simplify191.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
191.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize27.0ms

Local error

Found 2 expressions with local error:

0.4b
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
0.0b
(/ (fma -5 (* v v) 1) (- (* v v) 1))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
18×times-frac
17×add-sqr-sqrt *-un-lft-identity
13×add-cube-cbrt
8×difference-of-squares
6×associate-/r*
4×add-cbrt-cube difference-of-sqr-1 add-exp-log
3×associate-/l*
2×expm1-log1p-u pow1 associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
1×acos-asin cbrt-undiv clear-num frac-2neg flip3-- div-exp div-inv flip--
Counts
2 → 55
Calls
2 calls:
Slowest
23.0ms
(/ (fma -5 (* v v) 1) (- (* v v) 1))
2.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

series107.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
102.0ms
(/ (fma -5 (* v v) 1) (- (* v v) 1))
5.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

simplify4.5s

Counts
54 → 61
Calls
54 calls:
Slowest
237.0ms
(- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2))))))
208.0ms
(- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2))))))
193.0ms
(/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (- (* v v) 1) (- (* v v) 1)) (- (* v v) 1)))
191.0ms
(- (log (fma -5 (* v v) 1)) (log (- (* v v) 1)))
171.0ms
(/ (cbrt (fma -5 (* v v) 1)) (cbrt (- (* v v) 1)))

prune486.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.4b

localize46.0ms

Local error

Found 4 expressions with local error:

0.4b
(acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))
0.1b
(* (* v v) (* v v))
0.0b
(/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1)))
0.0b
(* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1))

rewrite311.0ms

Algorithm
rewrite-expression-head
Rules
117×pow1
36×pow-prod-up
27×add-sqr-sqrt
25×times-frac
24×pow-prod-down
23×add-cbrt-cube add-exp-log
22×*-un-lft-identity pow-sqr add-cube-cbrt
19×associate-*l*
18×pow-plus
13×pow2
10×prod-exp cbrt-unprod
7×difference-of-squares
4×expm1-log1p-u associate-/r* associate-*r* associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
3×associate-/l* unswap-sqr
2×frac-times cbrt-undiv flip3-+ flip3-- div-exp associate-*r/ *-commutative flip-+ div-inv flip--
1×distribute-rgt-in acos-asin clear-num frac-2neg distribute-lft-in swap-sqr associate-*l/
Counts
4 → 159
Calls
4 calls:
Slowest
181.0ms
(* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1))
79.0ms
(/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1)))
45.0ms
(* (* v v) (* v v))
4.0ms
(acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))

series291.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
129.0ms
(* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1))
92.0ms
(/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1)))
63.0ms
(* (* v v) (* v v))
7.0ms
(acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))

simplify20.2s

Counts
151 → 171
Calls
151 calls:
Slowest
825.0ms
(/ (cbrt (fma -5 (* v v) 1)) (- (* (* v v) (* v v)) (* 1 1)))
684.0ms
(* (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1)))
490.0ms
(/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (- (* (* v v) (* v v)) (* 1 1)) (- (* (* v v) (* v v)) (* 1 1))) (- (* (* v v) (* v v)) (* 1 1))))
457.0ms
(* (fma -5 (* v v) 1) (+ (pow (* v v) 3) (pow 1 3)))
438.0ms
(* (fma -5 (* v v) 1) (+ (* v v) 1))

prune1.6s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.4b

localize29.0ms

Local error

Found 3 expressions with local error:

0.4b
(acos (/ (fma (fma (* v v) -5 1) (* v v) (fma (* v v) -5 1)) (- (* (* v v) (* v v)) (* 1 1))))
0.1b
(* (* v v) (* v v))
0.0b
(fma (fma (* v v) -5 1) (* v v) (fma (* v v) -5 1))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
114×pow1
36×pow-prod-up
23×pow-prod-down
22×pow-sqr
18×pow-plus
15×add-cbrt-cube add-exp-log
13×pow2
8×prod-exp cbrt-unprod
3×add-sqr-sqrt expm1-log1p-u *-un-lft-identity add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
1×acos-asin swap-sqr associate-*r* associate-*l* *-commutative fma-udef unswap-sqr
Counts
3 → 88
Calls
3 calls:
Slowest
40.0ms
(* (* v v) (* v v))
1.0ms
(acos (/ (fma (fma (* v v) -5 1) (* v v) (fma (* v v) -5 1)) (- (* (* v v) (* v v)) (* 1 1))))
0.0ms
(fma (fma (* v v) -5 1) (* v v) (fma (* v v) -5 1))

series148.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
107.0ms
(fma (fma (* v v) -5 1) (* v v) (fma (* v v) -5 1))
36.0ms
(* (* v v) (* v v))
5.0ms
(acos (/ (fma (fma (* v v) -5 1) (* v v) (fma (* v v) -5 1)) (- (* (* v v) (* v v)) (* 1 1))))

simplify3.8s

Counts
76 → 97
Calls
76 calls:
Slowest
386.0ms
(acos (/ (fma (fma (pow v 2) -5 1) (pow v 2) (fma (pow v 2) -5 1)) (- (pow v 4) 1)))
381.0ms
(* (* (* (* v v) v) (* (* v v) v)) (* (* (* v v) (* v v)) (* v v)))
371.0ms
(acos (/ (fma (fma (pow v 2) -5 1) (pow v 2) (fma (pow v 2) -5 1)) (- (pow v 4) 1)))
368.0ms
(* (* (* (* v v) (* v v)) (* v v)) (* (* (* v v) (* v v)) (* v v)))
362.0ms
(acos (/ (fma (fma (pow v 2) -5 1) (pow v 2) (fma (pow v 2) -5 1)) (- (pow v 4) 1)))

prune1.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.4b

localize61.0ms

Local error

Found 4 expressions with local error:

0.4b
(acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))
0.1b
(* (* v v) (* v v))
0.0b
(exp (log (acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))))
0.0b
(log (acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1))))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
117×pow1
36×pow-prod-up
23×pow-prod-down
22×pow-sqr
18×pow-plus
17×add-exp-log
16×add-cbrt-cube
13×pow2
8×prod-exp cbrt-unprod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×log-prod
4×expm1-log1p-u exp-prod insert-posit16 log1p-expm1-u add-log-exp
3×exp-sum
2×log-pow
1×acos-asin swap-sqr rem-log-exp associate-*r* associate-*l* *-commutative unswap-sqr rem-exp-log
Counts
4 → 110
Calls
4 calls:
Slowest
29.0ms
(* (* v v) (* v v))
3.0ms
(exp (log (acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))))
2.0ms
(acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))
1.0ms
(log (acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1))))

series184.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
108.0ms
(log (acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1))))
59.0ms
(* (* v v) (* v v))
8.0ms
(acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))
8.0ms
(exp (log (acos (* (/ (fma -5 (* v v) 1) (- (* (* v v) (* v v)) (* 1 1))) (+ (* v v) 1)))))

simplify7.1s

Counts
91 → 122
Calls
91 calls:
Slowest
430.0ms
(log (acos (/ (* (+ (pow v 2) 1) (fma -5 (pow v 2) 1)) (- (pow v 4) 1))))
421.0ms
(log (acos (/ (* (+ (pow v 2) 1) (fma -5 (pow v 2) 1)) (- (pow v 4) 1))))
421.0ms
(acos (/ (* (+ (pow v 2) 1) (fma -5 (pow v 2) 1)) (- (pow v 4) 1)))
405.0ms
(* (* (* (* v v) (* v v)) (* v v)) (* (* (* v v) (* v v)) (* v v)))
390.0ms
(acos (/ (* (+ (pow v 2) 1) (fma -5 (pow v 2) 1)) (- (pow v 4) 1)))

prune1.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.4b

regimes85.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample8.1s

Algorithm
intervals
Results
3.1s3053×body2560valid
1.9s2491×body1280valid
1.9s8019×body80nan
617.0ms1245×body640valid
292.0ms604×body320valid
99.0ms402×body160valid
27.0ms205×body80valid