Details

Time bar (total: 7.0m)

sample235.0ms

Algorithm
intervals
Results
101.0ms294×body80valid
101.0ms472×body80nan

simplify194.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
194.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.4b

localize73.0ms

Local error

Found 4 expressions with local error:

20.4b
(sqrt (* 2 (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
9.9b
(* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
7.7b
(/ (* l l) Om)
5.6b
(* (* n (* (/ l Om) (/ l Om))) (- U U*))

rewrite419.0ms

Algorithm
rewrite-expression-head
Rules
142×associate-*r/
45×frac-times
44×flip3-- frac-sub flip--
39×add-cbrt-cube add-exp-log
30×associate-*l/
28×pow1
24×sqrt-div
19×prod-exp cbrt-unprod
15×pow-prod-down
10×add-sqr-sqrt *-un-lft-identity
8×associate-*r* add-cube-cbrt
6×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp
4×sqrt-pow1 associate--l+ insert-posit16 add-log-exp
3×associate-/r* times-frac
2×associate-*l* *-commutative
1×clear-num frac-2neg pow1/2 sqrt-prod div-inv associate-/l* distribute-lft-out-- difference-of-squares
Counts
4 → 156
Calls
4 calls:
Slowest
144.0ms
(sqrt (* 2 (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
131.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
131.0ms
(* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
9.0ms
(/ (* l l) Om)

series3.0s

Counts
4 → 12
Calls
4 calls:
Slowest
2.2s
(sqrt (* 2 (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
541.0ms
(* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
150.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
37.0ms
(/ (* l l) Om)

simplify32.2s

Counts
135 → 168
Calls
135 calls:
Slowest
853.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- (pow U 3) (pow U* 3))))))))
776.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2))) (* Om (+ U U*))) (* (+ t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) l)) (- (* U U) (* U* U*))))))))
744.0ms
(* (* (* (* n n) n) (* (/ (* (* l l) l) (* (* Om Om) Om)) (* (* (/ l Om) (/ l Om)) (/ l Om)))) (* (* (- U U*) (- U U*)) (- U U*)))
733.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2))) (* Om (+ U U*))) (* (+ t (* (/ (* l l) Om) 2)) (* (* n (* l (/ l Om))) (- (* U U) (* U* U*))))))))
708.0ms
(sqrt (* 2 (* (* U n) (- (* (- (pow t 3) (pow (* (/ (* l l) Om) 2) 3)) (* Om Om)) (* (+ (* t t) (+ (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2)) (* t (* (/ (* l l) Om) 2)))) (* (* n (* l l)) (- U U*)))))))

prune3.9s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 25.8b

localize87.0ms

Local error

Found 4 expressions with local error:

20.4b
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
9.9b
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
5.6b
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
4.0b
(- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))

rewrite419.0ms

Algorithm
rewrite-expression-head
Rules
170×associate-*r/
66×frac-sub
64×flip3-- flip--
63×frac-times
42×associate-*l/
34×add-cbrt-cube add-exp-log
28×pow1
24×sqrt-div
18×prod-exp cbrt-unprod
15×pow-prod-down
10×sub-neg
9×add-log-exp
8×distribute-rgt-in add-sqr-sqrt *-un-lft-identity distribute-lft-in associate-*r*
6×associate--l+ add-cube-cbrt
4×cbrt-undiv sqrt-pow1 div-exp insert-posit16 associate--r+
3×diff-log
2×associate-*l* *-commutative
1×associate--l- pow1/2 sqrt-prod distribute-lft-out-- difference-of-squares
Counts
4 → 177
Calls
4 calls:
Slowest
155.0ms
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
110.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
103.0ms
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
47.0ms
(- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))

series3.2s

Counts
4 → 12
Calls
4 calls:
Slowest
2.2s
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
489.0ms
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
377.0ms
(- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))
155.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))

simplify47.6s

Counts
173 → 189
Calls
173 calls:
Slowest
1.0s
(* (* (* (* n n) n) (* (/ (* (* l l) l) (* (* Om Om) Om)) (* (* (/ l Om) (/ l Om)) (/ l Om)))) (* (* (- U U*) (- U U*)) (- U U*)))
837.0ms
(- (/ (* U (* n (pow l 2))) (pow Om 2)) (/ (* n (* U* (pow l 2))) (pow Om 2)))
784.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- (pow U 3) (pow U* 3))))))))
766.0ms
(- (* (- (pow t 3) (pow (* (/ l (/ Om l)) 2) 3)) (+ U U*)) (* (+ (* t t) (+ (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2)) (* t (* (/ l (/ Om l)) 2)))) (* (* n (* (/ l Om) (/ l Om))) (- (* U U) (* U* U*)))))
755.0ms
(- (* (- (pow t 3) (pow (* (/ l (/ Om l)) 2) 3)) (* (* Om Om) (+ U U*))) (* (+ (* t t) (+ (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2)) (* t (* (/ l (/ Om l)) 2)))) (* (* n (* l l)) (- (* U U) (* U* U*)))))

prune3.8s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 23.9b

localize51.0ms

Local error

Found 4 expressions with local error:

20.4b
(sqrt (* 2 (* (sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))))
20.4b
(sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
20.4b
(sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
9.9b
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
3404×associate-*r/
1872×sqrt-div
1530×frac-times
1166×frac-sub
1060×flip3-- flip--
660×associate-*l/
27×pow1
12×pow-prod-down
9×sqrt-pow1 add-cbrt-cube add-exp-log
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×distribute-rgt-in sub-neg distribute-lft-in associate--l+ insert-posit16 add-log-exp
3×pow1/2 associate-*r* prod-exp sqrt-prod cbrt-unprod
1×associate-*l* *-commutative
Counts
4 → 762
Calls
4 calls:
Slowest
923.0ms
(sqrt (* 2 (* (sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))))
123.0ms
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
93.0ms
(sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
65.0ms
(sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))

series5.8s

Counts
4 → 12
Calls
4 calls:
Slowest
2.2s
(sqrt (* 2 (* (sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))))
1.6s
(sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
1.6s
(sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
440.0ms
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))

simplify3.7m

Counts
737 → 774
Calls
737 calls:
Slowest
1.5s
(sqrt (* 2 (* (sqrt (* (* U n) (- (* (- t (* (/ l (/ Om l)) 2)) (- t (* (/ l (/ Om l)) 2))) (* (* (* n (* (/ l Om) (/ l Om))) (- U U*)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))) (sqrt (* (* U n) (- (pow (- t (* (/ l (/ Om l)) 2)) 3) (pow (* (* n (* (/ l Om) (/ l Om))) (- U U*)) 3)))))))
1.2s
(sqrt (* (* U n) (- (* (- (pow t 3) (pow (* (/ l (/ Om l)) 2) 3)) (+ U U*)) (* (+ (* t t) (+ (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2)) (* t (* (/ l (/ Om l)) 2)))) (* (* n (* (/ l Om) (/ l Om))) (- (* U U) (* U* U*)))))))
1.0s
(sqrt (* 2 (* (sqrt (* (* U n) (- (pow (- t (* (/ l (/ Om l)) 2)) 3) (pow (* (* n (* (/ l Om) (/ l Om))) (- U U*)) 3)))) (sqrt (* (* U n) (- (* (- t (* (/ l (/ Om l)) 2)) (- t (* (/ l (/ Om l)) 2))) (* (* (* n (* (/ l Om) (/ l Om))) (- U U*)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))))
970.0ms
(sqrt (* (* U n) (- (* (- (pow t 3) (pow (* (/ l (/ Om l)) 2) 3)) (+ U U*)) (* (+ (* t t) (+ (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2)) (* t (* (/ l (/ Om l)) 2)))) (* (* n (* (/ l Om) (/ l Om))) (- (* U U) (* U* U*)))))))
845.0ms
(sqrt (* 2 (* (sqrt (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) (* Om Om)) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* l l)) (- U U*)))))) (sqrt (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) Om) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) l)) (- U U*)))))))))

prune33.5s

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 23.7b

localize81.0ms

Local error

Found 4 expressions with local error:

20.4b
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
20.4b
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
9.9b
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
9.9b
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))

rewrite532.0ms

Algorithm
rewrite-expression-head
Rules
256×associate-*r/
88×frac-sub
80×flip3-- flip--
72×frac-times
48×sqrt-div associate-*l/
34×pow1
18×pow-prod-down
14×add-cbrt-cube add-exp-log
8×distribute-rgt-in sub-neg distribute-lft-in sqrt-pow1 associate--l+
6×add-sqr-sqrt *-un-lft-identity associate-*r* prod-exp add-cube-cbrt cbrt-unprod
4×insert-posit16 add-log-exp
2×pow1/2 associate-*l* *-commutative sqrt-prod
Counts
4 → 178
Calls
4 calls:
Slowest
163.0ms
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
136.0ms
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
116.0ms
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
108.0ms
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))

series5.2s

Counts
4 → 12
Calls
4 calls:
Slowest
2.1s
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
2.1s
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
506.0ms
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
490.0ms
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))

simplify41.8s

Counts
152 → 190
Calls
152 calls:
Slowest
1.0s
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) (* Om (+ U U*))) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* l (/ l Om))) (- (* U U) (* U* U*))))))))
814.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- (pow U 3) (pow U* 3))))))))
773.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- (pow U 3) (pow U* 3))))))))
704.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) (* Om (+ U U*))) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* l (/ l Om))) (- (* U U) (* U* U*))))))))
677.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) (+ U U*)) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- (* U U) (* U* U*))))))))

prune5.6s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 23.7b

regimes1.4s

Accuracy

28.9% (6.2b remaining)

Error of 28.7b against oracle of 22.6b and baseline of 31.2b

bsearch392.0ms

end0.0ms

sample7.8s

Algorithm
intervals
Results
4.2s14657×body80nan
2.8s9159×body80valid